Stoelinga, Mariëlle
Stoelinga, Mariëlle 1972-
Stoelinga, M.I.A. (Marie͏̈lle Ida Antoinette), 1972-
Stoelinga, Mariëlle Ida Antoinette 1972-
Mariëlle Stoelinga Nederlands computer scientist
VIAF ID: 245199511 (Personal)
Permalink: http://viaf.org/viaf/245199511
Preferred Forms
- 100 0 _ ‡a Mariëlle Stoelinga ‡c Nederlands computer scientist
-
-
- 100 1 _ ‡a Stoelinga, Mariëlle
-
- 100 1 _ ‡a Stoelinga, Mariëlle
- 100 1 _ ‡a Stoelinga, Mariëlle ‡d 1972-
- 100 1 _ ‡a Stoelinga, Mariëlle Ida Antoinette ‡d 1972-
4xx's: Alternate Name Forms (8)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Alea jacta est : verification of probabilistic, real-time and parametric systems | |
Architectural dependability evaluation with Arcade | |
Boolean-logic driven Markov processes Explained. Analysed. Verified. | |
Durch Boolesche Logik gesteuerte Markov-Prozesse – Erklärt. Analysiert. Verifiziert. | |
Evaluating Repair Strategies for a Water-Treatment Facility using Arcade | |
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings | |
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings | |
Gambling for leadership | |
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday | |
Model-based testing real-time and interactive music systems | |
Processes and their identifiers in synchronous network systems | |
Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings | |
Root contention in IEEE 1394 | |
Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school ; advanced lectures | |
Tests de systèmes musicaux interactifs et temps réel basés sur modèles. |