vers département
Annuaire
Projets
Logiciels
Publications
WebMail
Photo Responsable

Équipe : MoVe - Modélisation et Vérification


Responsable : Fabrice Kordon Site Jussieu 25-26/212

Brève présentation

L'équipe MoVe centre ses recherches sur la modélisation et l'analyse de systèmes répartis complexes et dynamiques. En particulier, nous nous focalisons sur les aspects suivants :

Ingénierie des modèles, Modélisation, Réseaux de Petri, Model Checking, Génération de programme, Meta-modélisation

Sélection de publications

Toutes

Contact

Fabrice.Kordon (at) nulllip6.fr

Mentions légales