 |
Communication dans un congrès
Validation d'un système critique par rétro-conception formelle
David Gianazza 1
Auteur Etablissement employeur : Ecole Nationale de l'Aviation Civile IdHAL : david-gianazza IdRef : https://www.idref.fr/086301438 VIAF : https://viaf.org/viaf/210122954
F. Girard 1
Auteur
M. Lemoine 2
Auteur
D. Marre 2
Auteur
F. Preux 1
Auteur
Jean-Luc Wippler 1
Auteur
Type de document :
Communication dans un congrès
Domaine :
Liste complète des métadonnées
https://hal-enac.archives-ouvertes.fr/hal-00990391
Contributeur : Céline Smith Connectez-vous pour contacter le contributeur
Soumis le : mardi 13 mai 2014 - 15:18:38
Dernière modification le : mardi 16 mars 2021 - 15:44:16
Contributeur : Céline Smith Connectez-vous pour contacter le contributeur
Soumis le : mardi 13 mai 2014 - 15:18:38
Dernière modification le : mardi 16 mars 2021 - 15:44:16
Identifiants
- 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⟩
Métriques
Consultations de la notice