zur Abteilung
Adressverzeichnis
Projekte
Softwareprogramme
Publikationen
HAL
WebMail
Photo Responsable Photo Adjoint

Forschungsgruppe : MoVe - Modeling and Verification


Verantwortliche(r) : Béatrice Bérard Campus Pierre et Marie Curie 25-26/219
Mitverantwortliche(r) : Tewfik Ziadi Campus Pierre et Marie Curie 25-26/212

Kurze Präsentation

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

zur Zeit keine Veranstaltung geplant.

Archive

Selected publications

Alle

Kontakt

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
Plan |