Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

2 Résultats
authFullName_s : Julien Honoré

Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique

Philippe Dhaussy , Jean-Charles Roger , Hugue Bonnin , Julien Honoré
La Revue de l'électricité et de l'électronique, 2007, pp.51-59
Article dans une revue hal-00517283v1

Experimentation of Timed Observers for Validation of an Avionics Software

Philippe Dhaussy , Jean-Charles Roger , Hugue Bonnin , Eric Saves , Julien Honoré , et al.
Conference ERTS'06, 2006, Toulouse, France
Communication dans un congrès hal-00517286v1