M
Mariëlle Stoelinga
7 works on record
Works

Formal Methods for Industrial Critical Systems

Formal Modeling and Analysis of Timed Systems

Quantitative Evaluation of Systems
Stochastic Model Checking
Stochastic Model Checking
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
Journey from Process Algebra Via Timed Automata to Model Learning
Journey from Process Algebra Via Timed Automata to Model Learning
Concise Guide to Fault Tree Analysis
Concise Guide to Fault Tree Analysis