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
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
Titre: Modélisation et analyse de performance de la norme IEEE 802.11e
8th International Workshop, VECOS 2014
Unité de recherche LAMOS
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA Bejaia, Date : 29 septembre 2014
Titre: Modélisation et analyse de performance de la norme IEEE 802.11e
8th International Workshop, VECOS 2014
Unité de recherche LAMOS
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA Bejaia, Date : 30 septembre 2014
Titre: Visual specification language and automatic checking of business process.
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
Titre: Visual specification language and automatic checking of business process.
8th International Workshop, VECOS 2014
Unité de recherche LAMOS
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA Bejaia, Date : 30 septembre 2014
