Similar Listings
Real-Time Systems: Formal Specification and Automatic Verification
Real-Time Systems: Formal Specification and Automatic Verification by Henning Di
Real-Time Systems: Formal Specification and Automatic Verification by Henning Di
Real-Time Systems Formal Specification and Automatic Verification Olderog Dierks
Realtime Theory the Complete StenEd Theory, Part 1 & book of brief forms
Big Principles and Best Practices of Scalable Realtime Data Systems by James...
Automatic Methods for the Refinement of System Models: From the Specification
Real-Time Systems: Formal Specification and Autom... by Dierks, Henning Hardback