Multi-models approach for describing and verifying constraints based interactive systems - Aix-Marseille Université Access content directly
Journal Articles International Journal of Electrical and Electronics Engineering (IJEEE), World Academy of Science, Engineering and Technology (WASET 09) Year : 2009

Multi-models approach for describing and verifying constraints based interactive systems

Mamoun Sqali
  • Function : Author

Abstract

no abstract
No file

Dates and versions

hal-01479654 , version 1 (28-02-2017)

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

Share

Gmail Facebook Twitter LinkedIn More