Skip to Main content Skip to Navigation
Conference papers

Tutorial on Formal Methods for Distributed and Cooperative Systems

Abstract : 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.
Complete list of metadata
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Thursday, November 20, 2008 - 11:58:52 PM
Last modification on : Tuesday, March 30, 2021 - 12:12:03 PM

Links full text



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⟩



Record views