Formal Modeling and Analysis of Timed Systems More Books by Jean-François Raskin & P.S. Thiagarajan

Principles of Systems Design Principles of Systems Design
Principles of Systems Design
2022
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2016