Groupe MeFoSyLoMa
(Clics: 116;Site ajouté: Feb 3, 2014)
- 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