Partenaires
Rechercher
Navigation
Accueil du site > Français > Publications
Publications
Consultation de la base des publications de l'IRIT
Chaudet Christelle
Pour une recherche plus ciblée, utiliser l'interface d'interrogation de
la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.
- Livres / Books
- Ouvrages de synthèse / Books edition
- Numéros spéciaux de revues / Special issues of journals
- Actes de conférences et de workshops / Conferences proceedings
- Articles de revues internationales / International journals articles
- Articles de revues nationales / National journals articles
- Contributions à des ouvrages de synthèse / Books parts
- Conférences et workshops internationaux / International conferences articles
- Conférences et workshops nationaux / National conferences articles
- Conférences sans actes publiés / Conferences articles without published proceedings
- Rapports / Reports
- Thèses et habilitations / Thesis and HDR
- Autres types de publications / Other publications
Conférences et workshops internationaux / International conferences articles
-
B. Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, F. Vernadat. Formal Verification of AADL Specifications in the Topcased Environment. Dans : International Conference on Reliable Software Technologies - Ada-Europe, Brest, France, 08/06/2009-12/06/2009, Springer-Verlag, lncs 5570, p. 207-221, 2009.
BibTeX
Conférences et workshops nationaux / National conferences articles
-
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/2005-08/04/2005, ASF - Ecole des Mines de Nantes, p. 79-81, avril 2005.
BibTeX