bib.howest.be Zoekresultaten

U zocht naar: Auteur Jansen, Nils.

1 - 6 van 6

1. Formal Modeling and Analysis of Timed Systems

Auteur:: Bertrand; Jansen, Nils
Uitgever:: Springer International Publishing 2020
Type:: e-book

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

Auteur:: Jansen, Nils.; Tribastone, Mirco
Uitgever:: Cham Springer 2023
Type:: 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

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

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

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

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