Débat de la communication de M. Taha Abdelmoutaleb Cherfia

Publié, le: 29 septembre 2014

Nombre de vue: 4213 Vues
Débat autour de la Communication de 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