Lamos « WebTV – Université de Bejaia

Articles relatifs à ‘Lamos’

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

2:07
Débat sur la Communication de Mr. Taha Abdelmoutaleb Cherfia

Débat sur la Communication de 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

14:58
Communication présentée par Hichem DEBBI, Computer scince department. University of Msila, Algeria

Communication présentée par Hichem DEBBI, Computer scince department. University of Msila, Algeria

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

38:45
Conférence donnée par Mr. BENSALEM Saddek UJF-Grenoble, CNRS VERIMAG, France Part2

Conférence donnée par Mr. BENSALEM Saddek UJF-Grenoble, CNRS VERIMAG, France Part2

Titre: Compositional invariant generation for timed systems
Unité de recherche LAMOS
8th International Workshop, VECOS 2014
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA, Date : 29 septembre 2014