 |
Conference papers
Validation d'un système critique par rétro-conception formelle
David Gianazza 1
Author Employer institution : Ecole Nationale de l'Aviation Civile IdHAL : david-gianazza IdRef : https://www.idref.fr/086301438 VIAF : https://viaf.org/viaf/210122954
F. Girard 1
Author
M. Lemoine 2
Author
D. Marre 2
Author
F. Preux 1
Author
Jean-Luc Wippler 1
Author
Document type :
Conference papers
Complete list of metadata
https://hal-enac.archives-ouvertes.fr/hal-00990391
Contributor : Céline Smith Connect in order to contact the contributor
Submitted on : Tuesday, May 13, 2014 - 3:18:38 PM
Last modification on : Tuesday, March 16, 2021 - 3:44:16 PM
Contributor : Céline Smith Connect in order to contact the contributor
Submitted on : Tuesday, May 13, 2014 - 3:18:38 PM
Last modification on : Tuesday, March 16, 2021 - 3:44:16 PM
Identifiers
- HAL Id : hal-00990391, version 1
Citation
David Gianazza, F. Girard, M. Lemoine, D. Marre, F. Preux, et al.. Validation d'un système critique par rétro-conception formelle. GL1997, Congrès Génie Logiciel et ses Applications, Dec 1997, Paris, France. pp 118-122. ⟨hal-00990391⟩
Metrics
Record views