Article Dans Une Revue
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes
Année : 2008
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517279
Soumis le : mardi 14 septembre 2010-09:17:54
Dernière modification le : jeudi 1 décembre 2022-15:20:53
Dates et versions
Identifiants
- HAL Id : hal-00517279 , version 1
Citer
Arnaud Du Sorbier, Stephane de Belloy, Florian Turpin, Philippe Dhaussy. Expérimentation de composants de preuve pour le développement de composants logiciels embarqués. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2008, 85. ⟨hal-00517279⟩
Collections
70
Consultations
0
Téléchargements