 | 2010 |
| 5 |  | David Delmas,
Xavier Rival:
Preface.
Electr. Notes Theor. Comput. Sci. 267(2): 1 (2010) |
| 2009 |
| 4 |  | Jean Souyris,
Virginie Wiels,
David Delmas,
Hervé Delseny:
Formal Verification of Avionics Software Products.
FM 2009: 532-546 |
| 3 |  | David Delmas,
Eric Goubault,
Sylvie Putot,
Jean Souyris,
Karim Tekkal,
Franck Védrine:
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.
FMICS 2009: 53-69 |
| 2007 |
| 2 |  | Jean Souyris,
David Delmas:
Experimental Assessment of Astrée on Safety-Critical Avionics Software.
SAFECOMP 2007: 479-490 |
| 1 |  | David Delmas,
Jean Souyris:
Astrée: From Research to Industry.
SAS 2007: 437-451 |