Real-Time Systems: Formal Specification and Automatic Verification

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

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

Real-Time Systems: Formal Specification and Automatic Verification by Henning Di

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

Specification and Compositional Verification of Real-Time Systems by Hooman: New

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

Leveraging Applications of Formal Methods, Verification and Validation. Applicat