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

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

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

Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber

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