Specification and Compositional Verification of Real-time Systems, Paperback ...

Specification and Seamless Verification of Embedded Real-Time Systems : Focus...

Specification and Compositional Verification of Real-Time Systems by Jozef Hooma

Specification and compositional verification of real-time systems

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

Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on

Real-Time Systems: Formal Specification and Automatic Verification