Communication présentée par Dr. Miloud BENNAMA
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
Vidéos récentes
- Nettoyage et désinfection des installations d’eau de l’université de Bejaia
- Table ronde: alimentation saine et un mode de vie durable
- La prévention des risques professionnels, par: KAIBA Kamel
- Santé, Sécurité et Dignité au Travail, par : AIT YAHIA Hania
- La mission de la CNAS face aux risques pros, par M. KHIMA
- La santé et la sécurité au travail, par M. BOUKOU
- Ouverture de la journée d’information sur les risques professionnels
- Débat et échanges pour clôturer la journée sur l’accréditation
- Accréditation : actions prioritaires et plan opérationnel
- Identification des non-conformités et actions correctives