Lamos « WebTV – Université de Bejaia

Articles relatifs à ‘Lamos’

17:41
Communication présentée par Dr. Miloud BENNAMA

Communication présentée par Dr. Miloud BENNAMA

Titre : Mapping OCL constraints into CTL-like logic and SML for UML validation
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

1:20
Débat sur la Communication du Dr. Miloud BENNAMA

Débat sur la Communication du Dr. Miloud BENNAMA

Titre : Mapping OCL constraints into CTL-like logic and SML for UML validation.
Unité de recherche LAMOS
8th International Workshop, VECOS 2014
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA, Date : 30 septembre 2014

12:31
Communication présentée par  Mohand YAZID

Communication présentée par Mohand YAZID

Titre: Modélisation et analyse de performance de la norme IEEE 802.11e
8th International Workshop, VECOS 2014
Unité de recherche LAMOS
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA Bejaia, Date : 29 septembre 2014

4:49
Débat sur la communication de Mohand YAZID

Débat sur la communication de Mohand YAZID

Titre: Modélisation et analyse de performance de la norme IEEE 802.11e
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

12:20
Débat sur la communication de Mohammed Al Achhab

Débat sur la communication de Mohammed Al Achhab

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