%0 Conference Paper %F Oral %T Implementation of testing automata for timed model validation %+ Développement des Technologies Nouvelles (DTN) %A Roger, Jean-Charles %A Dhaussy, Philippe %< avec comité de lecture %B Movep'04 %C Brussel, Belgium %8 2004 %D 2004 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-00517290 %U https://hal.science/hal-00517290 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN