Validation d'un système critique par rétro-conception formelle

David Gianazza ¹ AuthorId : 1021131
Mail :
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 ¹ AuthorId : 38984
Author

M. Lemoine ² AuthorId : 45010
Author

D. Marre ² AuthorId : 239757
Author

F. Preux ¹ AuthorId : 1021310
Author

Jean-Luc Wippler ¹ AuthorId : 757865
Author