Groupe MeFoSyLoMa « modélisation-formelle

(Clics: 118;Site ajouté: Feb 3, 2014, modélisation-formelle)

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), Lamsade (Univ. Paris-Dauphine), LIP6 (Univ. P. & M. Curie), LIP6 (Univ. Paris 13) et LTIC (TEL

réseaux de petri methodes formelles système systèmes distribués systèmes distribués systèmes asynchrones laboratoire recherche modélisation formelle vérification formelle génie logiciel