Multi-models approach for describing and verifying constraints based interactive systems
Abstract
no abstract
Journal Articles
International Journal of Electrical and Electronics Engineering (IJEEE), World Academy of Science, Engineering and Technology (WASET 09)
Year : 2009
William Domingues Vinhas : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-01479654
Submitted on : Tuesday, February 28, 2017-8:57:29 PM
Last modification on : Wednesday, February 8, 2023-5:11:01 PM
Dates and versions
Identifiers
- HAL Id : hal-01479654 , version 1
Cite
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
View
0
Download