Communication présentée par Dr. Miloud BENNAMA

Publié, le: 30 septembre 2014

Nombre de vue: 4332 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 Bejaia, Date : 30 septembre 2014