Claude Jard

• Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science
• Communicating embedded systems
• Formal Modeling and Analysis of Timed Systems
• Modeling and Verification of Parallel Processes