UPMCCNRSAccueil LIP6
vers département
Annuaire
Actualité
Projets
Logiciels
Publications
WebMail
Intranet
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 :

Mots clés

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

Contact

Fabrice.Kordon (at) lip6.fr

Mentions légales