Acronyme : «acronyme»

Réalisations du responsable dans le domaine de l’UE

• 
  J. Hugues, F. Kordon, and L. Pautet. Towards Proof-Based Real-Time Distribution Middleware. In 13th International Conference On Real-Time Systems (RTS’05), pages 51–70, Paris, France, Avril 2005. BIRP.
  
• 
  Fabrice Kordon and Jörg Henkel. An overview of Rapid System Prototyping today. Design Automation for Embedded Systems, 8(4) :275–282, december 2003.
  
• 
  J. Hugues, F. Kordon, and L. Pautet. Revisiting COTS middleware for DRE systems. In International Symposium on Object-oriented Real-time distributed Computing (ISORC’05), pages 72–79, Seattle, USA, may 2005. IEEE Computer Society.
  
• 
  Fabrice Kordon and William El Kaïm. Code Generation, chapter 21, pages 433–471. Springer Verlag, Petri nets and system engineering (Claude Girault and Rudiger Valk Eds), first edition, 2003.
  
• 
  Fabrice Kordon and Michel Lemoine, editors. Formal methods for embedded distributed systems : how to master the complexity. Kluwer Academic Publishing, first edition, 2004.
  

Acronyme : rcs	Spécialité : SAR	3 ECTS	Niveau : 500	Semestre : S3
Titre : Répartition et Client-Serveur
Responsable : Lionel Seinturier