32:53
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
12:16
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
25:10
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
20:37
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
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