para o departamento
Anuário
Projetos
Software
Publicações
HAL
WebMail
Photo Responsable

Equipe : MoVe - Modeling and Verification


Chefe de Equipe : Fabrice Kordon Site Jussieu 25-26/212

Curta apresentação

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

Não há eventos planejados no momento.

Arquivos

Selected publications

Toutes

Contato

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
Mapa do site |