%0 Conference Paper %F Oral %T Experimentation of Timed Observers for Validation of an Avionics Software %+ Développement des Technologies Nouvelles (DTN) %A Dhaussy, Philippe %A Roger, Jean-Charles %A Bonnin, Hugue %A Saves, Eric %A Honoré, Julien %A Lohman, Julien %< avec comité de lecture %B Conference ERTS'06 %C Toulouse, France %8 2006 %D 2006 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-00517286 %U https://hal.science/hal-00517286 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN %~ ERTS2006