去院系
职员电话号码
项目
开发软件
刊物
HAL
网页电子邮件收发
Photo Responsable

科研组 : MoVe - Modeling and Verification


科研组负责人 : Fabrice Kordon Site Jussieu 25-26/212

简介

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

现无事件

档案

Selected publications

所有

联系方式

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
网站导航 |