Publications de Christelle CHAUDET
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat
Formal Verification of AADL Specifications in the Topcased Environment
Dans : International Conference on Reliable Software Technologies – Ada-Europe, Brest, France, 08/06/09-12/06/09, Springer-Verlag, lncs 5570, p. 207-221, 2009.
Sébastien Leriche, Jean-Paul Arcangeli, Christelle Chaudet
Adaptation et déploiement d’applications réparties ouvertes
Dans : Journées Composants 2005, Le Croisic, 06/04/05-08/04/05, ASF – Ecole des Mines de Nantes, p. 79-81, avril 2005.