Filtrer vos résultats
- 3
- 2
- 1
- 3
- 2
- 1
- 2
- 1
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiquesJourné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 avioniqueLa 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 SoftwareConference ERTS'06, 2006, Toulouse, France
Communication dans un congrès
hal-00517286v1
|