Bernhard Steffen

· 39 obras en el catálogo

Obras

Correct system design

Grundlagen Der Hheren Informatik Induktives Vorgehen

Mathematical Foundations of Advanced Informatics : Volume 1

Transactions on Foundations for Mastering Change I

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

Leveraging Applications of Formal Methods, Verification and Validation

Computing and Software Science

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

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

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

SOFSEM 2017 : Theory and Practice of Computer Science

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Model Checking, Synthesis, and Learning

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation : Applications

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles

VVerification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

LLeveraging Applications of Formal Methods

Leveraging Applications of Formal Methods

CCorrect System Design

Correct System Design

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Verification