Claude Jard

Identifiers

Open LibraryOL7344853A

Books by Claude Jard

Total count: 3

Modeling and Verification of Parallel Processes4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

Springer London, Limited2003-01-01
Formal Modeling and Analysis of Timed Systems6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings

Springer London, Limited2008-01-01
Communicating Embedded SystemsSoftware and Design

Wiley & Sons, Incorporated, John2009-01-01