| 2002 |
|---|
| 3 | EE | Patrick Baudin,
Anne Pacalet,
Jacques Raguideau,
Dominique Schoen,
N. Williams:
CAVEAT : A Tool for Software Validation.
DSN 2002: 537-537 |
| 2 | EE | Adriana Carloganu,
Jacques Raguideau:
CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs.
DSN 2002: 538 |
| 1999 |
|---|
| 1 | EE | Famantanantsoa Randimbivololona,
Jean Souyris,
Patrick Baudin,
Anne Pacalet,
Jacques Raguideau,
Dominique Schoen:
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.
World Congress on Formal Methods 1999: 1798-1815 |
