Information
Soutenance d'Habilitation Universitaire du Dr Aissam Belghiat


Date : 14 November 2019
Place : Université de Jijel
Organisé par l'équipe MFGL
Key words
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 .