Principles of Systems Design Más libros de 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
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
Formal Modeling and Analysis of Timed Systems
2007