Article Dans Une Revue
Journal of Software Testing, Verification and Reliability
Année : 2009
Ioannis Parissis : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01424792
Soumis le : lundi 2 janvier 2017-21:28:28
Dernière modification le : mercredi 18 décembre 2024-09:51:25
Dates et versions
Identifiants
- HAL Id : hal-01424792 , version 1
Citer
Abdesselam Lakehal, Ioannis Parissis. Structural Coverage Criteria for Lustre/SCADE Programs. Journal of Software Testing, Verification and Reliability, 2009, 19 (2), pp.133-154. ⟨hal-01424792⟩
89
Consultations
0
Téléchargements