Claude Jard

Books
Communicating Embedded Systems Communicating Embedded Systems
Communicating Embedded Systems
2013
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2008