Filtrer vos résultats
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
|
|
triés par
|
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
|