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

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

Real-Time Systems: Formal Specification and Automatic Verification

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

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

Specification and compositional verification of real-time systems

Specification and Design Methodology for Real-Time Embedded Systems, Hardcove...