Débat sur la Communication du Dr. Miloud BENNAMA

Video Player is loading.

Current Time 0:00

Duration 0:00

Loaded: 0%

Stream Type LIVE

Remaining Time 0:00



Publié, le: 30 septembre 2014



Nombre de vue: 3989 Vues

Faculté des sciences exactes



Lamos, Miloud BENNAMA, VECoS 2014

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