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

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Real-Time Systems Formal Specification and Automatic Verification Olderog Dierks

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Specific