Similar Listings
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
Modeling and Verification of Real-Time Systems, Hardcover by Merz, Stephan (E...
Modeling and Verification of Real-Time Systems, Hardcover by Merz, Stephan (E...
Modeling and Verification of Real-time Systems: Formalisms and Software Tools by
Modeling and Verification of Real-time Systems: Formalisms and Software Tools by
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em
Systems and Software Verification: Model-Checking Techniques and Tools