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

Filtrer vos résultats

3 Résultats
authFullName_s : Hugue Bonnin

Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques

Philippe Dhaussy , Pierre-Yves Pillain , Dominique Kerjean , Stephane de Belloy , Arnaud Du Sorbier , et al.
Journée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, 2007, Brest, France
Communication dans un congrès hal-00517224v1

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