Chapitre D'ouvrage
Année : 2011
Ioannis Parissis : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00680696
Soumis le : lundi 19 mars 2012-23:14:56
Dernière modification le : jeudi 4 avril 2024-18:18:48
Dates et versions
Identifiants
- HAL Id : hal-00680696 , version 1
Citer
Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Automatic Test of Lustre/SCADE Programs. Model-Based Testing for Embedded Systems, CRC Press, pp.171-194, 2011, 978-1-43-981845-9. ⟨hal-00680696⟩
230
Consultations
0
Téléchargements