@inproceedings{dhaussy:hal-00517293, TITLE = {{Mise en oeuvre d'observateurs temporis{\'e}s pour la validation de logiciels temps r{\'e}el}}, AUTHOR = {Dhaussy, Philippe and Roger, Jean-Charles and Habart, Olivier}, URL = {https://hal.science/hal-00517293}, BOOKTITLE = {{Neptune'04}}, ADDRESS = {Paris, France}, YEAR = {2004}, HAL_ID = {hal-00517293}, HAL_VERSION = {v1}, }