Mariëlle Stoelinga

ספרים שבהם Mariëlle Stoelinga מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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