Bernhard Steffen

Books
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2019
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
2018
Let’s Talk AI Let’s Talk AI
Let’s Talk AI
2025
Bridging the Gap Between AI and Reality Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
2025
Bridging the Gap Between AI and Reality Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
2025
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2025