%0 Journal Article %T Expérimentation de composants de preuve pour le développement de composants logiciels embarqués %+ Développement des Technologies Nouvelles (DTN) %A Du Sorbier, Arnaud %A de Belloy, Stephane %A Turpin, Florian %A Dhaussy, Philippe %< avec comité de lecture %@ 1265-1397 %J Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes %B Journées NEPTUNE'2008 %C Paris, France %I Génie industriel multimédia %V 85 %P xx %8 2008-06 %D 2008 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Journal articles %G French %L hal-00517279 %U https://hal.science/hal-00517279 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN