Mariëlle Stoelinga

Books
Concise Guide to Fault Tree Analysis Concise Guide to Fault Tree Analysis
Concise Guide to Fault Tree Analysis
2026
A Journey from Process Algebra via Timed Automata to Model Learning A Journey from Process Algebra via Timed Automata to Model Learning
A Journey from Process Algebra via Timed Automata to Model Learning
2022
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2019