Bernhard Steffen

No biography available.

Works (8)

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

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Cover of Correct system design

Correct system design

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

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

Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

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

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

Cover of Transactions on Foundations for Mastering Change I

Transactions on Foundations for Mastering Change I

Cover of Mathematical Foundations of Advanced Informatics : Volume 1

Mathematical Foundations of Advanced Informatics : Volume 1