Browse
FAQ

Author

Claude Jard

4 books found

Cover of Communicating embedded systems

Communicating embedded systems

Claude Jard · First published 2009

Cover of Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Franck Cassez, Claude Jard · First published 2008

Cover of Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science

Claude Jard · First published 2008

Cover of Modeling and Verification of Parallel Processes

Modeling and Verification of Parallel Processes

Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan · First published 2003