bib.howest.be Zoekresultaten

U zocht naar: Auteur Bernhard Steffen

« Vorige | 21 - 30 van 38 | Volgende »

21. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book

22. Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2022
Type:: e-book

23. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

24. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2022
Type:: e-book

25. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2022
Type:: e-book

26. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Auteur:: Margaria, Tiziana; Steffen, Bernhard
Uitgever:: Springer International Publishing 2021
Type:: e-book

27. Leveraging Applications of Formal Methods, Verification and Validation

Auteur:: Tiziana Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2021
Type:: e-book

28. Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Auteur:: Graf, Susanne.; Pettersson, Paul; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book

29. Model Checking, Synthesis, and Learning

Auteur:: Ernst-Rüdiger Olderog; Steffen, Bernhard; Yi, Wang
Uitgever:: Springer International Publishing 2021
Type:: e-book

30. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Beyer; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Uitgever:: Springer International Publishing 2019
Type:: e-book