إلى القـسـم
الدلـيـل
مـشـاريع
برامجيات
إصدارات
HAL
البريد الالكتروني
Photo Responsable

وحـدة : MoVe - Modeling and Verification


مسؤول : Fabrice Kordon Site Jussieu 25-26/212

تقديـم مـخـتـصـر

MoVe centers its research on the modeling and analysis of complex and dynamic distributed systems. In particular, we put our focus on:

Model engineering, Modeling, Petri nets, Model checking, Program generation, meta-modeling

لا يوجد نشاط مبرمج حاليا

الأرشـيف

Selected publications

جميع

للاتصال

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
| خـريـطـة المـوقـع