Directorio de personal
Proyectos
Softwares
Publicaciones
Publicaciones
HAL
WebMail
Photo Responsable Photo Adjoint

Equipo : MoVe - Modeling and Verification

Axes : SSR (👥👥), ASN (👥), TMC (👥).

Responsable :

Béatrice Bérard Campus Pierre et Marie Curie 25-26/219

Corresponsable :

Tewfik Ziadi Campus Pierre et Marie Curie 25-26/212

Breve presentación

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

Actualmente, no hay ninguna manifestación planeada.

Archivos

Selected publications

Ellas todas

Contacto

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
Mapa del sitio |