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
Débat autour de la communication de 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
Communication présentée par M. SOUILAH H.
Titre : Coping with spoofed PS-poll based dos attack in IEEE 802.11 networks.
8th International Workshop, VECOS 2014
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA Bejaia, Date : 29 septembre 2014
