 |
|
|
|
| 1. |
|
Real-Time Systems
Ernst-Rdiger Olderog
Inbunden. Cambridge University Press, Storbritannien, 2008.
|
 |
| 2. |
|
Verification of Sequential and Concurrent Programs
Krzysztof R Apt, Frank S De Boer, Ernst-Rdiger Olderog
Häftad. Springer London Ltd, 2012.
|
|
| 3. |
|
Model Checking, Synthesis, and Learning
Ernst-Rdiger Olderog, Bernhard Steffen, Wang Yi
Häftad. Springer Nature Switzerland AG, Schweiz, 2021.
|
|
| 4. |
|
Provably Correct Systems
Mike Hinchey, Jonathan P Bowen, Ernst-Rdiger Olderog
Inbunden. Springer International Publishing AG, Schweiz, 2017.
|
|
| 5. |
|
Provably Correct Systems
Mike Hinchey, Jonathan P Bowen, Ernst-Rdiger Olderog
Häftad. Springer International Publishing AG, Schweiz, 2018.
|
|
| 6. |
|
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rdiger Olderog
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2002.
|
|
| 7. |
|
Programmverifikation
Krzysztof R Apt, Ernst-Rdiger Olderog
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1994.
|
|
| 8. |
|
Correct System Design
Ernst-Rdiger Olderog, Bernhard Steffen
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1999.
|
|
|
|
