Mariëlle Stoelinga
Informatikerin
Geboren:
1972
Werke:
- Model-based testing of stochastically timed systems
- Architectural dependability evaluation with Arcade
- Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school ; advanced lectures
- Formal methods for industrial critical systems : 17th international workshop ; proceedings