Communication présentée par Dr. Miloud BENNAMA « WebTV – Université de Bejaia

Description

Communication présentée par Dr. Miloud BENNAMA

Publié, le: mardi 30 septembre 2014

Nombre de vue: 3875 Vues

THEME

Faculté des sciences exactes.

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

Les commentaires sont fermés.

Communication présentée par Dr. Miloud BENNAMA

Tags: , ,