Advertisement

Tutorial on Formal Methods for Distributed and Cooperative Systems

  • Christine Choppy
  • Serge Haddad
  • Hanna Klaudel
  • Fabrice Kordon
  • Laure Petrucci
  • Yann Thierry-Mieg
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4281)

Abstract

This tutorial is proposed by representatives of the MeFoSyLoMa group. MeFoSyLoMa is an informal group gathering several teams from various universities in the Paris area:

– Université Paris-Dauphine (LAMSADE laboratory),

– Université P. & M. Curie (LIP6 laboratory),

– Université Paris 13 (LIPN laboratory),

– ENST (LTCI laboratory),

– Conservatoire National des Arts et Métiers (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.

Keywords

Formal Method Abstraction Level Cooperative System Informal Group Architectural Style 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Christine Choppy
    • 1
  • Serge Haddad
    • 2
  • Hanna Klaudel
    • 3
  • Fabrice Kordon
    • 4
  • Laure Petrucci
    • 1
  • Yann Thierry-Mieg
    • 4
  1. 1.Université Paris 13, LIPN, CNRS UMR 7030VilletaneuseFrance
  2. 2.Université Paris-Dauphine, LAMSADE, CNRS UMR 7024Paris
  3. 3.Université d’Evry-Val-d’EssoneEvryFrance
  4. 4.Université P. & M. Curie, LIP6/MoVe, CNRS UMR 7606ParisFrance

Personalised recommendations