Similar Listings
Specification and Seamless Verification of Embedded Real-Time Systems : Focus...
Real-Time Systems: Formal Specification and Automatic Verification
Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on
Embedded Real?Time Systems: A Specification and Design... - Calvez, Jean Paul
Specification and Compositional Verification of Real-Time Systems by Hooman: New
Specification and Compositional Verification of Real-Time Systems by Jozef Hooma
Specification and Compositional Verification of Real-time Systems, Paperback ...
Specification and compositional verification of real-time systems