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
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
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.
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
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
titre : Diagnosis of probabilistic models using causality and regression
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
