Dernières vidéos de la WebTV
Communication présentée par Mohammed Al Achhab
Titre: Visual specification language and automatic checking of business process.
8th International Workshop, VECOS 2014
Unité de recherche LAMOS
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA Bejaia, Date : 30 septembre 2014
Communication présentée par Bernd Heidergott
Titre :Towards a statistical system analysis.
8th international Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS) 2014
Unité de recherche LAMOS
Faculté des sciences exactes, département recherche opérationnelle.
Université Abderrahmane MIRA Bejaia, date: 30 septembre 2014
Clôture du 8 ème workshop international de l’unité de recherche LAMOS.
Thème: Verification and Evaluation of Computer and Communication Systems.
Unité de recherche LAMOS.
Faculté des sciences exactes, département recherche opérationnelle.
Université Abderrahmane MIRA Bejaia, Date : 30 septembre 2014
Ouverture du 8 ème workshop international de l’unité de recherche LAMOS
Thème: Verification and Evaluation of Computer and Communication Systems (VECoS) 2014
Unité de recherche LAMOS
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA, Date : 29 septembre 2014
Communication présentée par M. Taha Abdelmoutaleb Cherfia
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