Yazar
marielle stoelinga
7 cilt bulundu.
Cilt sonuçları
Formal Methods for Industrial Critical Systems
Mariëlle Stoelinga · Imprint: Springer
Sayfa sayısı yok · 2012
Information systems / Software engineering / Logic design / Logics and Meanings of Programs / Computer Appl. in Administrative Data Processing
Quantitative Evaluation of Systems
Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio · Springer
412 sayfa · 2013
Computer networks / Reliability (engineering) / Petri nets / Machine theory / Electronic systems
Stochastic Model Checking
Anne Remke, Mariëlle Stoelinga · Springer Berlin / Heidelberg
281 sayfa · 2014
Stochastic analysis / Software engineering / Computer science / Logic design / Logics and Meanings of Programs
Fundamental Approaches to Software Engineering
Esther Guerra, Mariëlle Stoelinga · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok