Search

You searched for: Auteur Steffen, Bernhard. Remove constraint Auteur: Steffen, Bernhard.
« Previous | 1 - 10 of 38 |
Number of results to display per page

Search Results

1. Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings
thumbnail
Full text!
Author:
Steffen, Bernhard.
Publisher:
Cham Springer 2025
Format:
e-book
2. Transactions on Foundations for Mastering Change I
thumbnail
Full text!
Author:
Steffen, Bernhard.
Publisher:
Springer International Publishing 2016
Format:
e-book
3. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
thumbnail
Full text!
Author:
Margaria; Steffen, Bernhard
Publisher:
Springer International Publishing 2016
Format:
e-book
4. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
thumbnail
Full text!
Author:
Margaria; Steffen, Bernhard
Publisher:
Springer International Publishing 2016
Format:
e-book
5. 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
thumbnail
Full text!
Author:
Margaria; Steffen, Bernhard
Publisher:
Springer International Publishing 2020
Format:
e-book
6. 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
thumbnail
Full text!
Author:
Margaria; Steffen, Bernhard
Publisher:
Springer International Publishing 2020
Format:
e-book
7. 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
thumbnail
Full text!
Author:
Margaria; Steffen, Bernhard
Publisher:
Springer International Publishing 2020
Format:
e-book
8. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
thumbnail
Full text!
Author:
Margaria; Steffen, Bernhard
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book
9. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
thumbnail
Full text!
Author:
Margaria; Steffen, Bernhard
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book
10. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
thumbnail
Full text!
Author:
Margaria; Bernhard Steffen; Steffen, Bernhard
Publisher:
Springer International Publishing 2018
Format:
e-book