%0 Conference Paper
%F Oral 
%T Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques
%+ Développement des Technologies Nouvelles (DTN)
%A Dhaussy, Philippe
%A Pillain, Pierre-Yves
%A Kerjean, Dominique
%A de Belloy, Stephane
%A Du Sorbier, Arnaud
%A Bonnin, Hugue
%A Boniol, Frédéric
%< avec comité de lecture
%B Journée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique
%C Brest, France
%8 2007
%D 2007
%Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers
%G French
%L hal-00517224
%U https://hal.science/hal-00517224
%~ ENSTA-BRETAGNE
%~ ENSTA-BRETAGNE-STIC
%~ ENSIETA-DTN