%0 Conference Paper %F Oral %T Mise en oeuvre d'observateurs temporisés pour la validation de logiciels temps réel %+ Développement des Technologies Nouvelles (DTN) %A Dhaussy, Philippe %A Roger, Jean-Charles %A Habart, Olivier %< avec comité de lecture %B Neptune'04 %C Paris, France %8 2004 %D 2004 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-00517293 %U https://hal.science/hal-00517293 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN