Books

2012

  1. Eric Fabre. Distributed Control of Large Plants; Chapter 5, Observers and automata. Eric FabreCarla Seatzu, Manuel Silva, Jan H. van Schuppen (eds.), Springer, 2012. details
  2. Stefan Haar, Eric Fabre. Distributed Control of Large Plants; Chapter 13, Diagnosis with Petri nets unfoldings. Stefan Haar, Eric FabreCarla Seatzu, Manuel Silva, Jan H. van Schuppen (eds.), Springer, 2012. details

2009

  1. Communicating Embedded Systems - Software and Design. Claude Jard, Olivier-H. Roux (eds.), ISTE Publishing / John Wiley, October 2009. details

2008

  1. Debmalya Biswas, Il-Gong Kim. Active XML Transactions, chapter of Service and Business Computing Solutions with XML: Applications for Quality Management and Best Processes. IGI Global, 2008. details
  2. Franck Cassez, Claude Jard. The 6th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2008. Springer-Verlag, LNCS 5215, 2008. details
  3. Claude Jard, Olivier-Henri Roux. Systèmes embarqués communicants : Approches formelles. Hermès, Traité IC2, 2008. details

2006

  1. C. Jard. Méthodes formelles pour l'ingénierie des protocoles. Vuibert, 2006. details

2001

  1. Modeling and Verification of Parallel Processes, revised Tutorial Lectures. Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Ryan (eds.), LNCS Tutorials, No 2067, Springer, December 2001. details

2000

  1. SAM2000, 2nd Workshop on SDL and MSC. S. Graf, C. Jard (eds.), Grenoble univ, Grenoble, June 2000. details

1997

  1. Technique et science informatiques - Methodes formelles, validation de systemes complexes. Hubert Garavel, Roland Groz, Claude Jard (eds.), Hermes, June 1997. details

1995

  1. Colloque Francophone sur l'Ingenierie des Protocoles. Claude Jard, Pierre Rolin (eds.), Hermes, Rennes, May 1995. details

1993

  1. Ecole d'informatique sur l'algorithmique repartie - calculs repartis et causalite. B. Charron-Bost, C. Jard (eds.), Rennes 1 univ, Roscoff, September 1993. details

1992

  1. Datation et controle des executions reparties. F. Andre, C. Jard (eds.), Colloque C3, No 78, Bigre, March 1992. details

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.This page is automatically generated by bib2html v210, © INRIA 2002-2006, Projet Lagadic