 | 2009 |
|---|
| 3 |       | Bernard Berthomieu,
Jean-Paul Bodeveix,
Christelle Chaudet,
Silvano Dal-Zilio,
Mamoun Filali,
François Vernadat:
Formal Verification of AADL Specifications in the Topcased Environment.
Ada-Europe 2009: 207-221 |
| 2000 |
|---|
| 2 | | Christelle Chaudet,
Flávio Oquendo:
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems.
ASE 2000: 245-248 |
| 1 |  | Christelle Chaudet,
R. Mark Greenwood,
Flávio Oquendo,
Brian Warboys:
Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems.
IEE Proceedings - Software 147(6): 203-214 (2000) |
