Multi-models approach for describing and verifying constraints based interactive systems
Résumé
no abstract
Article Dans Une Revue
International Journal of Electrical and Electronics Engineering (IJEEE), World Academy of Science, Engineering and Technology (WASET 09)
Année : 2009
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479654
Soumis le : mardi 28 février 2017-20:57:29
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479654 , version 1
Citer
Mamoun Sqali, Wassim Trojet. Multi-models approach for describing and verifying constraints based interactive systems. International Journal of Electrical and Electronics Engineering (IJEEE), World Academy of Science, Engineering and Technology (WASET 09), 2009, 3 (6), pp.342-352. ⟨hal-01479654⟩
31
Consultations
0
Téléchargements