Informations
Soutenance d'Habilitation Universitaire du Dr Aissam Belghiat


Date : 14 Novembre 2019
Lieu : Université de Jijel
Organisé par l'équipe MFGL
Mots clés
Graph Transformation; Pi-Calculus; Mobile Computing; UML; Verification
Description

Dr Aissam Belghiat a présenté ses travaux d'Habilitation Universitaire dans le domaine de la modélisation et la vérification des systèmes mobiles en utilisant l'ingénierie dirigée par les modèles .