%0 Conference Paper %F Oral %T Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèles %+ Développement des Technologies Nouvelles (DTN) %A Dhaussy, Philippe %A Roger, Jean-Charles %< avec comité de lecture %B Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques %C Paris, France %8 2005 %D 2005 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-00517289 %U https://hal.science/hal-00517289 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN