FIACRE Kickoff meeting
SOPHIA-ANTIPOLIS, 22-23 nov 2004

• F. Vernadat : "Présentation Générale du projet FIACRE, Journées ACI-SI Toulouse"

• E. Madelaine, OASIS : "Modèles paramétrés pour les applications ProActive"

• F. Lang : "Activités de recherche du projet VASY, outils CADP"

• F. Lang, VASY : "Compositional Verification Using Cadp of the ScalAgent Deployment Protocol for Software Components"

• M. Filali, FERIA : "Vérification des systèmes paramétrés et infinis"

• B. Bertomieu, LAAS : "Outil TINA"

• E. Najm, ENST : "Behavioural Contracts for a Sound Assembly of Components"

• T. Barros, OASIS : "Intermediate Format for Hierarchical Systems"