bib.howest.be Search Results

You searched for: Auteur Tiziana Margaria, Bernhard Steffen.

« Previous | 1 - 10 of 16 | Next »

1. Leveraging Applications of Formal Methods, Verification and Validation

Author:: Tiziana Margaria, Bernhard Steffen.; Margaria, Tiziana; Steffen, Bernhard
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book

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

Author:: Tiziana Margaria; Steffen, Bernhard
Publisher:: Springer Nature 2024
Format:: e-book

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

Author:: Margaria, Tiziana.; Steffen, Bernhard
Publisher:: Cham Springer 2024
Format:: e-book

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

Author:: Margaria, Tiziana.; Steffen, Bernhard
Publisher:: Cham Springer 2024
Format:: e-book

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

Author:: Margaria, Tiziana.; Steffen, Bernhard
Publisher:: Cham Springer 2024
Format:: e-book

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

Author:: Margaria, Tiziana.; Steffen, Bernhard
Publisher:: Cham Springer 2024
Format:: e-book

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

Author:: Margaria, Tiziana.; Steffen, Bernhard
Publisher:: Cham Springer 2022
Format:: e-book

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

Author:: Margaria, Tiziana.; Steffen, Bernhard
Publisher:: Cham Springer International Publishing AG 2022
Format:: e-book

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

Author:: Margaria, Tiziana.; Steffen, Bernhard
Publisher:: Cham Springer 2022
Format:: e-book

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

Author:: Margaria, Tiziana.; Steffen, Bernhard
Publisher:: Cham Springer 2022
Format:: e-book