al Dipartimento
Rubrica del personale
Progetti
Software
Pubblicazioni
HAL
WebMail
Photo Responsable

Gruppo di ricerca : MoVe - Modeling and Verification


Responsabile del gruppo di ricerca : Fabrice Kordon Site Jussieu 25-26/212

Presentazione breve

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

Attualmente non è previsto nessun evento

Archivio

Selected publications

Tutti

Contatti

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
Mappa del sito |