Ernst-Rüdiger Olderog

Charakterisierung Hoarescher Syst...

Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen

Year unknown

Correct System Design

Correct System Design

Year unknown Ernst-Rüdiger Olderog and Bernhard Steffen

Formal Techniques in Real-Time an...

Formal Techniques in Real-Time and Fault-Tolerant Systems

Year unknown Werner Damm and Ernst-Rüdiger Olderog

Model Checking, Synthesis, and Le...

Model Checking, Synthesis, and Learning

Year unknown Ernst-Rüdiger Olderog, Bernhard Steffen, and Wang Yi

Programmverifikation

Year unknown Krzysztof R. Apt and Ernst-Rüdiger Olderog

Programmverifikation

Year unknown Krzysztof R. Apt and Ernst-Rüdiger Olderog

Provably Correct Systems

Year unknown Mike Hinchey, Jonathan P. Bowen, and Ernst-Rüdiger Olderog