Title
Tutorial on formal methods for distributed and cooperative systems
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. S 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.
Year
DOI
Venue
2006
10.1007/11921240_25
ICTAC
Keywords
Field
DocType
formal method,cooperative system,lip6 laboratory,mefosyloma group,conservatoire national des arts,paris area,ltci laboratory,cedric laboratory,informal group,lamsade laboratory,lipn laboratory,m. curie,distributed system
Joint (building),Computer science,Engineering management,Theoretical computer science,Artificial intelligence,Formal methods,The arts,Abstraction layer,Architectural style
Conference
Volume
ISSN
ISBN
4281
0302-9743
3-540-48815-4
Citations 
PageRank 
References 
0
0.34
1
Authors
6
Name
Order
Citations
PageRank
Christine Choppy133136.70
Serge Haddad219912.90
Hanna Klaudel330036.69
Fabrice Kordon460361.72
Laure Petrucci552151.44
Yann Thierry-Mieg622518.17