Article Dans Une Revue
La Revue de l'électricité et de l'électronique
Année : 2007
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517283
Soumis le : mardi 14 septembre 2010-09:18:02
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
Identifiants
- HAL Id : hal-00517283 , version 1
Citer
Philippe Dhaussy, Jean-Charles Roger, Hugue Bonnin, Julien Honoré. Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique. La Revue de l'électricité et de l'électronique, 2007, pp.51-59. ⟨hal-00517283⟩
Collections
44
Consultations
0
Téléchargements