bib.howest.be Zoekresultaten

U zocht naar: Auteur Bernhard Steffen

« Vorige | 11 - 20 van 38 | Volgende »

11. Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

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

12. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

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

13. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

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

14. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

15. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

16. Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Auteur:: Hinchey, Mike.; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book

17. Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

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

18. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

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

19. Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

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

20. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

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