@inproceedings{dhaussy:hal-02270437, TITLE = {{Experimentation of Timed Observers for Avionics Models Validation}}, AUTHOR = {Dhaussy, Philippe and Roger, J.C. and Bonnin, H. and Saves, E and Honore, J. and Lohman, J}, URL = {https://hal.science/hal-02270437}, BOOKTITLE = {{Conference ERTS'06}}, ADDRESS = {Toulouse, France}, YEAR = {2006}, MONTH = Jan, KEYWORDS = {Model driven engineering ; observers ; timed automata ; model-checking}, PDF = {https://hal.science/hal-02270437/file/5B1_H.Bonnin_CS.pdf}, HAL_ID = {hal-02270437}, HAL_VERSION = {v1}, }