bib.howest.be Search Results

You searched for: Auteur Jansen, Nils.

1 - 6 of 6

1. Formal Modeling and Analysis of Timed Systems

Author:: Bertrand; Jansen, Nils
Publisher:: Springer International Publishing 2020
Format:: e-book

2. Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Author:: Jansen, Nils.; Tribastone, Mirco
Publisher:: Cham Springer 2023
Format:: e-book

3. 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

4. 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

5. 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

6. 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