Sign in
Join Literal
Authors
Author
Bernhard Steffen
Bernhard Steffen may refer to:Bernhard Steffen (footballer), German footballer Bernhard Steffen, German computer scientistBernard Joseph Steffen, American artist
Books
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Tiziana Margaria, Bernhard Steffen
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Dirk Beyer, Fabrice Kordon, Marieke Huisman
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Tiziana Margaria, Bernhard Steffen
VMCAI 2004
Bernhard Steffen, G. Levi
SOFSEM 2017: Theory and Practice of Computer Science
Tiziana Margaria, Johann Eder, Bernhard Steffen, Christel Baier, Mike Hinchey, Mark van den Brand
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Tiziana Margaria, Bernhard Steffen
Model Checking, Synthesis, and Learning
Bernhard Steffen, Ernst-Rüdiger Olderog, Wang Yi
Leveraging Applications of Formal Methods
Bernhard Steffen, Tiziana Maragria, Tiziana Margaria-Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Tiziana Margaria, Bernhard Steffen
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Bernhard Steffen, Germany) Tacas 9 (1996 Passau
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tiziana Margaria, Bernhard Steffen
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Portugal) TACAS 98 (1998 : Lisbon
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen