bib.howest.be Zoekresultaten

U zocht naar: Auteur Margaria

« Vorige | 21 - 30 van 37 | Volgende »

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

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

23. Leveraging Applications of Formal Methods, Verification and Validation

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

24. Leveraging Applications of Formal Methods

Auteur:: Margaria, Tiziana; Kanade, Takeo; Margaria-Steffen, Tiziana; Steffen, Bernhard; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

25. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

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

26. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

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

27. Leveraging Applications of Formal Methods, Verification and Validation. Modeling

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

28. Leveraging Applications of Formal Methods, Verification and Validation. Verification

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

29. Models, Mindsets, Meta: The What, the How, and the Why Not?

Auteur:: Margaria; Graf, Susanne; Larsen, Kim G.
Uitgever:: Springer International Publishing 2019
Type:: e-book

30. Leveraging Applications of Formal Methods, Verification, and Validation

Auteur:: Margaria, Tiziana; Kanade, Takeo; Steffen, Bernhard; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book