Communication présentée par M. Taha Abdelmoutaleb Cherfia
Communication présentée par M. Taha Abdelmoutaleb Cherfia.
Titre: Towards formal modeling and verification of context-aware systems
Unité de recherche LAMOS.
8th International Workshop, VECOS 2014
Faculté des sciences exactes, département recherche opérationnelle
Université Abderrahmane MIRA Bejaia, Date : 29 septembre 2014
Vidéos récentes
- 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
- Normalisation des activités pédagogiques, Pr BENKOUISSEM
- Rôle des enseignants, étudiants, personnels administratifs et du CHU