@inproceedings{dhaussy:hal-00517286, TITLE = {{Experimentation of Timed Observers for Validation of an Avionics Software}}, AUTHOR = {Dhaussy, Philippe and Roger, Jean-Charles and Bonnin, Hugue and Saves, Eric and Honor{\'e}, Julien and Lohman, Julien}, URL = {https://hal.science/hal-00517286}, BOOKTITLE = {{Conference ERTS'06}}, ADDRESS = {Toulouse, France}, YEAR = {2006}, HAL_ID = {hal-00517286}, HAL_VERSION = {v1}, }