Cnam-cachan.fr
Ce site présente les objectifs et l'activité du groupe MeFoSyLoMa qui regroupe des chercheurs de 7 laboratoires parisiens: Cedric (CNAM), IBISC (Univ. Evry), LIP6 (Univ. P. & M. Curie), LIPN (Université Sorbonne Paris Nord) et LTIC (TELECOM ParisTech). Ce groupe s'intéresse à la modélisation, la vérification et au développement de systèmes répartis complexes (logiciels ou matériels).