booktheque

Claude Jard

2 ספרים במאגר

ספרים

Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science
Claude Jard · 2008
Communicating embedded systems
Claude Jard · 2013

ספרים משותפים ואוספים

ספרים שבהם Claude Jard מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Modeling and Analysis of Timed Systems
Franck Cassez · 2008
Modeling and Verification of Parallel Processes
Franck Cassez · 2003