переход к департаментам
Справочник
RSSНовости
Проекты
Программное обеспечение
Публикации
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

All

Контакт

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
Карта сайта |