Mariëlle Stoelinga
Mariëlle Stoelinga
2 books in the database
Books
Co-authored books and collections
Books that list Mariëlle Stoelinga among their authors but not as the lead author: co-written works, collections and compilations.
Quantitative Evaluation of SystemsKaustubh Joshi
Quantitative Evaluation of Systems
Kaustubh Joshi · 2013
Stochastic Model CheckingAnne Remke
Stochastic Model Checking
Anne Remke · 2014
Journey from Process Algebra Via Timed Automata to Model LearningNils Jansen
Journey from Process Algebra Via Timed Automata to Model Learning
Nils Jansen · 2022
Fundamental Approaches to Software EngineeringEsther Guerra
Fundamental Approaches to Software Engineering
Esther Guerra · 2021
Formal Modeling and Analysis of Timed SystemsÉtienne André
Formal Modeling and Analysis of Timed Systems
Étienne André · 2019