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.
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