bib.howest.be Zoekresultaten

U zocht naar: Auteur Bernhard Steffen

« Vorige | 1 - 10 van 38 | Volgende »

1. Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

Auteur:: Bernhard Steffen
Uitgever:: Springer Nature 2024
Type:: e-book

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

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

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

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

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

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

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

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

6. Leveraging Applications of Formal Methods, Verification and Validation

Auteur:: Tiziana Margaria, Bernhard Steffen.; Margaria, Tiziana; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

7. Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Auteur:: Steffen, Bernhard.
Uitgever:: Cham Springer 2025
Type:: e-book

8. Transactions on Foundations for Mastering Change I

Auteur:: Steffen, Bernhard.
Uitgever:: Springer International Publishing 2016
Type:: e-book

9. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

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

10. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

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