Jard, Claude books & textbook
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215)
Springer /2008-09-05 Paperback / 305 Pages
isbn-10: 354085777X / isbn-13: 9783540857778
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures (Lecture Notes in Computer Science, 2067)
Cassez, Franck Jard, Claude Rozoy, Brigitte Ryan, Mark D.
Springer /2001-10-24 Paperback / 244 Pages
isbn-10: 3540427872 / isbn-13: 9783540427872
CFIP'95 : INGENIERIE DES PROTOCOLES
HERMES SCIENCE /1995-05-21 Paperback
isbn-10: 2866014685 / isbn-13: 9782866014681
Approches formelles des systèmes embarqués communicants
Hermes Science Publications /2008-10-17 Paperback
isbn-10: 2746219425 / isbn-13: 9782746219427
Communicating Embedded Systems: Software and Design
Wiley-ISTE /2009-12-14 Hardcover / 288 Pages
isbn-10: 1848211430 / isbn-13: 9781848211438
