Odile Laurent

	2007
4		Odile Laurent: The aeronautical systems development challenges for Airbus. ISoLA 2007: 5
	2006
3		Odile Laurent, Christel Seguin, Virginie Wiels: A methodology for automated test generation guided by functional coverage constraints at specification level. ASE 2006: 285-288
	2004
2		Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels: Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions 2004: 499-504
	2001
1		Odile Laurent, Pierre Michel, Virginie Wiels: Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME 2001: 465-477

Coauthor Index

1	Guy Durrieu	[2]
2	Pierre Michel	[1]
3	Christel Seguin	[2] [3]
4	Virginie Wiels	[1] [2] [3]