Arnaud Bailly

List of publications from the DBLP Bibliography Server - FAQ

2006

3 EE Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl: Component composition preserving behavioral contracts based on communication traces. Theor. Comput. Sci. 363(2): 108-123 (2006)

2005

2 EE Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl: Component Composition Preserving Behavioural Contracts Based on Communication Traces. CIAA 2005: 54-65

2003

1 EE Arnaud Bailly, Isabelle Ryl, Mireille Clerbout: FIDL Spécifications formelles en IDL3. L'OBJET 9(1-2): 213-225 (2003)

2006
3	EE	Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl: Component composition preserving behavioral contracts based on communication traces. Theor. Comput. Sci. 363(2): 108-123 (2006)
2005
2	EE	Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl: Component Composition Preserving Behavioural Contracts Based on Communication Traces. CIAA 2005: 54-65
2003
1	EE	Arnaud Bailly, Isabelle Ryl, Mireille Clerbout: FIDL Spécifications formelles en IDL3. L'OBJET 9(1-2): 213-225 (2003)

Coauthor Index

1	Mireille Clerbout	[1] [2] [3]
2	Isabelle Simplot-Ryl (Isabelle Ryl)	[1] [2] [3]