bib.howest.be Zoekresultaten

U zocht naar: Auteur Stoelinga, Mariëlle

1 - 9 van 9

1. Formal Modeling and Analysis of Timed Systems

Auteur:: AndrÃ©; Stoelinga, Mariëlle
Uitgever:: Springer International Publishing 2019
Type:: e-book

2. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems

Auteur:: Remke; Stoelinga, Mariëlle
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

3. Fundamental Approaches to Software Engineering

Auteur:: Guerra, Esther; Stoelinga, Mariëlle
Uitgever:: Springer International Publishing 2021
Type:: e-book

4. Formal Methods for Industrial Critical Systems

Auteur:: Hutchison, David; Kanade, Takeo; Pinger, Ralf; Stoelinga, Mariëlle
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

5. Journey from Process Algebra Via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Auteur:: Jansen, Nils.; Stoelinga, Mariëlle; van den Bos, Petra
Uitgever:: Cham Springer 2022
Type:: e-book

6. Quantitative Evaluation of Systems

Auteur:: Joshi, Kaustubh; Siegle, Markus; Stoelinga, Marille; D'Argenio, Pedro R.; Siegle, Markus; Stoelinga, Mariëlle
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

7. Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Auteur:: Nils Jansen; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Uitgever:: Springer Nature 2024
Type:: e-book

8. Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Auteur:: Nils Jansen; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Uitgever:: Springer Nature 2024
Type:: e-book

9. Principles of Verification : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Auteur:: Jansen, Nils.; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Uitgever:: Cham Springer 2024
Type:: e-book