|
Search the dblp DataBase
Odile Laurent:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Odile Laurent, Pierre Michel, Virginie Wiels
Using Formal Verification Techniques to Reduce Simulation and Test Effort. [Citation Graph (0, 0)][DBLP] FME, 2001, pp:465-477 [Conf]
- Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels
Formal proof and test case generation for critical embedded systems using SCADE. [Citation Graph (0, 0)][DBLP] IFIP Congress Topical Sessions, 2004, pp:499-504 [Conf]
- Odile Laurent, Christel Seguin, Virginie Wiels
A methodology for automated test generation guided by functional coverage constraints at specification level. [Citation Graph (0, 0)][DBLP] ASE, 2006, pp:285-288 [Conf]
The aeronautical systems development challenges for Airbus. [Citation Graph (, )][DBLP]
Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|