Débat sur la Communication du Dr. Miloud BENNAMA
Publié, le: 30 septembre 2014
Nombre de vue: 3913 Vues
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