Lamos « WebTV – Université de Bejaia

Articles relatifs à ‘Lamos’

21:57
Communication présentée par Mohammed Al Achhab

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

32:53
Communication présentée par Bernd Heidergott

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

12:16
Clôture du 8 ème workshop international de l’unité de recherche LAMOS.

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

25:10
Ouverture du 8 ème workshop international  de l’unité de recherche LAMOS

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

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