Groupe MeFoSyLoMa
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), LIP6 (Univ. Paris 13) 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).
Keywords:
middleware, génie logiciel, système, systèmes distribués, laboratoire recherche, tookan pdf, Réseaux de Petri, Methodes formelles, Systèmes répartis, Systèmes asynchrones
Created: | 2007-06-15 |
Expires: | 1970-01-01 |
Owner: | UNIVERSITE PARIS 6 PIERRE ET MARIE CURIE |
Hosting company: | Universite Paris 12 - Val de Marne |
Registrar: | AFNIC |
IPs: | 193.48.143.244 |
DNS: |
a.dns.gandi.net b.dns.gandi.net c.dns.gandi.net |
Email: | See owner's emails |