معلومات
Soutenance d'Habilitation Universitaire du Dr Aissam Belghiat
الكلمات المفتاحية
Graph Transformation; Pi-Calculus; Mobile Computing; UML; Verification
الوصف
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 .