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: Formalisms and Software Tools by

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, Verification and Exploration of Task-Level Concurrency in Real-Time Em

Real-Time Systems: Scheduling, Analysis, and Verification by Albert M.K. Cheng (

Compositional Verification of Concurrent and Real-Time Systems by Eric Y.T. Juan