to department
Staff directory
Projects
Software
Publications
WebMail
Photo Responsable

Team : MoVe - Modeling and Verification


Team leader : Fabrice Kordon Site Jussieu 25-26/212

Short presentation

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

Contact

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
Site map |