Principles of Systems Design More Books by Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen & Rupak Majumdar

Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
2016
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
2007