Communication présentée par M. Taha Abdelmoutaleb Cherfia
Publié, le: 29 septembre 2014
Nombre de vue: 4350 Vues
Communication présentée par M. Taha Abdelmoutaleb Cherfia.
Titre: Towards formal modeling and verification of context-aware systems
Unité de recherche LAMOS.
8th International Workshop, VECOS 2014
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA Bejaia, Date : 29 septembre 2014