Communication Dans Un Congrès
Année : 2007
Delphine Longuet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01760574
Soumis le : vendredi 6 avril 2018-14:46:21
Dernière modification le : mardi 5 mars 2024-18:16:42
Dates et versions
Identifiants
- HAL Id : hal-01760574 , version 1
Citer
Marc Aiguier, Delphine Longuet. Test Selection Criteria for Modal Specifications of Reactive Systems. IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Jun 2007, Shanghai, China. ⟨hal-01760574⟩
17
Consultations
0
Téléchargements