Christelle Chaudet

	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)

Coauthor Index

1	Bernard Berthomieu	[3]
2	Jean-Paul Bodeveix	[3]
3	Silvano Dal-Zilio	[3]
4	Mamoun Filali (Mamoun Filali-Amine)	[3]
5	R. Mark Greenwood	[1]
6	Flávio Oquendo	[1] [2]
7	François Vernadat	[3]
8	Brian Warboys	[1]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page