Taha Abdelmoutaleb Cherfia « WebTV – Université de Bejaia

Articles relatifs à ‘Taha Abdelmoutaleb Cherfia’

20:37
Communication présentée par Mr. Taha Abdelmoutaleb Cherfia

Communication présentée par Mr. 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

2:07
Débat sur la Communication de Mr. Taha Abdelmoutaleb Cherfia

Débat sur la Communication de Mr. 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