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
Conférence de M. 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
Conférence de M. BENSALEM Saddek, UJF-Grenoble, CNRS VERIMAG, France part1 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
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 Bejaia, Date : 29 septembre 2014
Communication présentée par CARLA SEATZU, DIEE. University of Cagliari, Italy Titre : Fault diagnosis of discrete event systems using petri nets. 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
