 | 2001 |
|---|
| 3 |       | Marielle Doche,
Isabelle Vernier-Mounier,
Fabrice Kordon:
A Modular Approach to the Specification and Validation of an Electrical Flight Control System.
FME 2001: 590-610 |
| 2 |  | Adriaan de Groot,
Jozef Hooman,
Fabrice Kordon,
Emmanuel Paviot-Adet,
Isabelle Vernier-Mounier,
Michel Lemoine,
Gervais Gaudiére,
Victor L. Winter,
Deepak Kapur:
A Survey: Applying Formal Methods to a Software Intensive System.
HASE 2001: 55-64 |
| 1996 |
|---|
| 1 | | Isabelle Vernier-Mounier:
Symbolic Executions of Symmetrical Parallel Programs.
PDP 1996: 327-335 |
