%0 Conference Proceedings %T Mise en oeuvre d'unités de preuve pour la vérification formelle de modèles %+ Développement des Technologies Nouvelles (DTN) %A Dhaussy, Philippe %A Roger, Jean-Charles %A Boniol, Frédéric %< avec comité de lecture %( Conf IDM'07 %B Conf IDM'07 %C Toulouse, France %P 101-116 %8 2007 %D 2007 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G French %L hal-00517284 %U https://hal.science/hal-00517284 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN