 | 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 |
