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

Modeling and Verification of Real-time Systems: Formalisms and Software Tools b

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

Real-Time Systems - 9780521883337

Real-Time Systems Formal Specification and Automatic Verification Olderog Dierks

Validation and Verification of Formal Specifications in Object-Oriented Software

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Validation and Verification of Formal Specifications in Object-Oriented Software