Titre: Visual specification language and automatic checking of business process. Unité de recherche LAMOS 8th International Workshop, VECOS 2014 Faculté des sciences exactes, département recherche opérationnelle Université Abderrahmane MIRA Bejaia, Date : 30 septembre 2014
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
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
