Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems - 9780521883337

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

Specification and Compositional Verification of Real-time Systems, Paperback ...

Introduction Formal Specification And Z (2nd Edition) (Prentice-

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

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