FIACRE réunion plénière
INRIA-Sophia, 6-7 july 2006
F. Lang:
An Overview of CADP 2006
F. Lang
Translating the LOTOS NT Data Part into LOTOS Abstract Data Types
B. Berthomieu
Timed Automata vs Bounded Time Petri Nets
E. Najm ""
Invited Speaker: Ludovic Henrio (Oasis, INRIA Sophia and CoreGrid WP7):
The CoreGrid NOE Grid Common Model
E. Madelaine
Verification of Distributed Components: a Case-Study
A. Cansado
Model-checking Distributed Components: the Vercors Platform
Working Group "Encapsulating CADP engines in ProActive distributed components" (Oasis, Vasy)
Working Group "Modele Intermediaire FIACRE" (Vasy, Feria)
Last modified: Mon Jan 17 17:18:58 MET 2005