www.in7.fr > mefosyloma.fr
Catégories Trier par nom Ajouter votre annonce
http://www.in7.fr - Répertoire national des entreprises France

Publicité

Groupe MeFoSyLoMa

Clics: 117, Site ajouté: Feb 3, 2014
Groupe MeFoSyLoMa
Groupe MeFoSyLoMa
LIEN : mefosyloma.fr
Pays: France
mot-clé 1: réseaux de petri
mot-clé 2: methodes formelles
mot-clé 3: système
mot-clé 4: systèmes distribués
mot-clé 5: systèmes distribués
mot-clé 6: systèmes asynchrones
mot-clé 7: laboratoire recherche
mot-clé 8: modélisation formelle
mot-clé 9: vérification formelle
mot-clé 10: génie logiciel
Description:
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