@article{dhaussy:hal-00517283, TITLE = {{Exp{\'e}rimentation de contextes de preuve et d'observateurs temporis{\'e}s pour la validation d'un protocole avionique}}, AUTHOR = {Dhaussy, Philippe and Roger, Jean-Charles and Bonnin, Hugue and Honor{\'e}, Julien}, URL = {https://hal.science/hal-00517283}, JOURNAL = {{La Revue de l'{\'e}lectricit{\'e} et de l'{\'e}lectronique}}, PUBLISHER = {{Soci{\'e}t{\'e} de l'{\'E}lectricit{\'e}, de l'{\'E}lectronique et des Technologies de l'Information et de la Communication}}, PAGES = {51-59}, YEAR = {2007}, HAL_ID = {hal-00517283}, HAL_VERSION = {v1}, }