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 .