Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems - 9780521883337

Real-Time Systems Formal Specification and Automatic Verification Olderog Dierks

Olderog - Real-Time Systems - New hardback or cased book - 59 - X555z

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

Real-Time Systems : Scheduling, Analysis, and Verification, Hardcover by Chen...