Zoeken

U zocht naar: Auteur Tiziana Margaria, Bernhard Steffen. Filter Auteur: Tiziana Margaria, Bernhard Steffen. weghalen
| 11 - 16 van 16 | Volgende »
Aantal zoekresultaten per pagina

Zoekresultaten

11. 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
thumbnail
Full text!
Auteur:
Margaria, Tiziana; Steffen, Bernhard
Uitgever:
Springer International Publishing 2021
Type:
e-book
12. Leveraging Applications of Formal Methods, Verification and Validation
thumbnail
Full text!
Auteur:
Tiziana Margaria; Steffen, Bernhard
Uitgever:
Springer International Publishing 2021
Type:
e-book
13. Leveraging Applications of Formal Methods
thumbnail
Full text!
Auteur:
Margaria, Tiziana; Kanade, Takeo; Margaria-Steffen, Tiziana; Steffen, Bernhard; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2006
Type:
e-book
14. Leveraging Applications of Formal Methods, Verification, and Validation
thumbnail
Full text!
Auteur:
Margaria, Tiziana; Kanade, Takeo; Steffen, Bernhard; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
15. Leveraging Applications of Formal Methods, Verification, and Validation
thumbnail
Full text!
Auteur:
Margaria, Tiziana; Kanade, Takeo; Steffen, Bernhard; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
16. Leveraging Applications of Formal Methods, Verification, and Validation
thumbnail
Full text!
Auteur:
Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book