Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

1 Résultat
authFullName_s : Florian Turpin

Expérimentation de composants de preuve pour le développement de composants logiciels embarqués

Arnaud Du Sorbier , Stephane de Belloy , Florian Turpin , Philippe Dhaussy
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2008, 85
Article dans une revue hal-00517279v1