Tutorial on Formal Methods for Distributed and Cooperative Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Tutorial on Formal Methods for Distributed and Cooperative Systems

Résumé

This tutorial is proposed by representatives of the MeFoSyLoMa1 group. MeFoSyLoMa is an informal group gathering several teams from various universities in the Paris area: Universit'e Paris-Dauphine (LAMSADE laboratory), Universit'e P. & M. Curie (LIP6 laboratory), Universit'e Paris 13 (LIPN laboratory), ENST (LTCI laboratory), Conservatoire National des Arts et M'etiers (CEDRIC laboratory). These teams have extensive knowledge and experience in the design, analysis and implementation of distributed systems. The cooperation within the group aims at joining forces, sharing experiences and building joint projects to solve issues in the design of reliable distributed systems.

Dates et versions

hal-00340483 , version 1 (20-11-2008)

Identifiants

Citer

Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, et al.. Tutorial on Formal Methods for Distributed and Cooperative Systems. 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Nov 2006, Tunis, Tunisia. pp.362--365, ⟨10.1007/11921240_25⟩. ⟨hal-00340483⟩
234 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More