Bernhard Steffen
Bernhard Steffen
11 books in the database
Books
Correct system designBernhard Steffen
Correct system design
Bernhard Steffen · 1999
Tools and Algorithms for the Construction and Analysis of SystemsBernhard Steffen
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen · 1998
Bridging the Gap Between AI and RealityBernhard Steffen
Bridging the Gap Between AI and Reality
Bernhard Steffen · 2024
Computing and Software ScienceBernhard Steffen
Computing and Software Science
Bernhard Steffen · 2019
Mathematical Foundations of Advanced Informatics : Volume 1Bernhard Steffen
Mathematical Foundations of Advanced Informatics : Volume 1
Bernhard Steffen · 2018
SOFSEM 2017 : Theory and Practice of Computer ScienceBernhard Steffen
SOFSEM 2017 : Theory and Practice of Computer Science
Bernhard Steffen · 2017
Transactions on Foundations for Mastering Change IBernhard Steffen
Transactions on Foundations for Mastering Change I
Bernhard Steffen · 2016
Verification, Model Checking, and Abstract InterpretationBernhard Steffen
Verification, Model Checking, and Abstract Interpretation
Bernhard Steffen · 2003
Grundlagen Der Hheren Informatik Induktives VorgehenBernhard Steffen
Grundlagen Der Hheren Informatik Induktives Vorgehen
Bernhard Steffen · 1900
Karten Von MykenaiBernhard Steffen
Karten Von Mykenai
Bernhard Steffen · 2018
Grundlagen der Höheren InformatikBernhard Steffen
Grundlagen der Höheren Informatik
Bernhard Steffen · 2013
Co-authored books and collections
Books that list Bernhard Steffen among their authors but not as the lead author: co-written works, collections and compilations.
Model Checking, Synthesis, and LearningErnst-Rüdiger Olderog
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog · 2021
Leveraging Applications of Formal Methods, Verification and Validation : Foundational TechniquesTiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
Tiziana Margaria · 2016
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, ApplicationsTiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
Tiziana Margaria · 2016
Leveraging Applications of Formal Methods, Verification and ValidationTiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria · 2012
Combined Power of Research, Education, and DisseminationMike Hinchey
Combined Power of Research, Education, and Dissemination
Mike Hinchey · 2024
Real Time and SuchSusanne Graf
Real Time and Such
Susanne Graf · 2024
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS ColloquiumTiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium
Tiziana Margaria · 2024
Leveraging Applications of Formal Methods, Verification and Validation. Software EngineeringTiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Tiziana Margaria · 2022
Leveraging Applications of Formal Methods, Verification and Validation. PracticeTiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Tiziana Margaria · 2022
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and LearningTiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Tiziana Margaria · 2022
Leveraging Applications of Formal Methods, Verification and Validation : Tools and TrendsTiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends
Tiziana Margaria · 2021
Leveraging Applications of Formal Methods, Verification and Validation : Verification PrinciplesTiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
Tiziana Margaria · 2020