Khoa chuyên ngành
Danh bạ các thành viên
Dự án nghiên cứu
Phần mềm
Bài báo khoa học
HAL
WebMail
Photo Responsable

Nhóm nghiên cứu : MoVe - Modeling and Verification


Trưởng nhóm : Fabrice Kordon Site Jussieu 25-26/212

Giới thiệu ngắn

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

No envent planned at present.

Lưu trữ

Selected publications

All

Liên hệ

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
Sơ đồ site |