Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems by Ernst-Rdiger Olderog, Henning Dierks - 9780521883337

Real-Time Systems Formal Specification and Automatic Verification Olderog Dierks

Olderog - Real-Time Systems - hardback or cased book - G555z

Real-Time Systems: Formal Specification and Autom... by Dierks, Henning Hardback

Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...

Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli

Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...