E
Ernst-Rüdiger Olderog
6 works on record
Works
Programmverifikation
Provably Correct Systems
Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
Correct System Design
Correct System Design
Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen
Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen