Miloud BENNAMA « WebTV – Université de Bejaia

Articles relatifs à ‘Miloud BENNAMA’

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