| 2003 |
|---|
| 3 | EE | Bernard Berthomieu,
Pierre-Olivier Ribet,
François Vernadat,
J. L. Bernartt,
Jean-Marie Farines,
Jean-Paul Bodeveix,
Mamoun Filali,
Gérard Padiou,
Pierre Michel,
Patrick Farail,
Pierre Gauffilet,
Pierre Dissaux,
Jean-Luc Lambert:
Towards the verification of real-time systems in avionics: the Cotre approach.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2001 |
|---|
| 2 | EE | Odile Laurent,
Pierre Michel,
Virginie Wiels:
Using Formal Verification Techniques to Reduce Simulation and Test Effort.
FME 2001: 465-477 |
| 1997 |
|---|
| 1 | | Pierre Michel,
Virginie Wiels:
A Framework for Modular Formal Specification and Verification.
FME 1997: 533-552 |
