Mariëlle Stoelinga
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