%0 Journal Article %T Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique %+ Développement des Technologies Nouvelles (DTN) %A Dhaussy, Philippe %A Roger, Jean-Charles %A Bonnin, Hugue %A Honoré, Julien %< sans comité de lecture %@ 1265-6534 %J La Revue de l'électricité et de l'électronique %I Société de l'Électricité, de l'Électronique et des Technologies de l'Information et de la Communication %P 51-59 %8 2007 %D 2007 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Journal articles %G French %L hal-00517283 %U https://hal.science/hal-00517283 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN