bib.howest.be Search Results

You searched for: Auteur Stoelinga, Mariëlle

1 - 9 of 9

1. Formal Modeling and Analysis of Timed Systems

Author:: AndrÃ©; Stoelinga, Mariëlle
Publisher:: Springer International Publishing 2019
Format:: e-book

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

Author:: Remke; Stoelinga, Mariëlle
Publisher:: Springer Berlin Heidelberg 2014
Format:: e-book

3. Fundamental Approaches to Software Engineering

Author:: Guerra, Esther; Stoelinga, Mariëlle
Publisher:: Springer International Publishing 2021
Format:: e-book

4. Formal Methods for Industrial Critical Systems

Author:: Hutchison, David; Kanade, Takeo; Pinger, Ralf; Stoelinga, Mariëlle
Publisher:: Springer Berlin Heidelberg 2012
Format:: 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

Author:: Jansen, Nils.; Stoelinga, Mariëlle; van den Bos, Petra
Publisher:: Cham Springer 2022
Format:: e-book

6. Quantitative Evaluation of Systems

Author:: Joshi, Kaustubh; Siegle, Markus; Stoelinga, Marille; D'Argenio, Pedro R.; Siegle, Markus; Stoelinga, Mariëlle
Publisher:: Springer Berlin Heidelberg 2013
Format:: 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

Author:: Nils Jansen; Junges, Sebastian; Kaminski, Benjamin Lucien; Matheja, Christoph; Noll, Thomas; Quatmann, Tim; Stoelinga, Mariëlle; Volk, Matthias
Publisher:: Springer Nature 2024
Format:: 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

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

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

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