FIACRE réunion plénière
TOULOUSE, 18-19 avril 2005

• F. Vernadat : "Méthodes par ordres partiels implantées dans TINA"

• B. Berthomieu : "Démo TINA, nouveaux développements (stepper, SE-LTL model-checker)"

• F. Lang : "Démo CADP, génération distribuée d'espaces d'états, Exp.Open V2"

• T. Barros : "Behavioural Models for Hierarchical Components"

• G. Salaun : "Describing and Reasoning on Web Services using Process Algebra"

• G. Salaun : "Formal Coordination of Distributed Entities described with Behavioural Interfaces"

• T. Barros, E. Madelaine : "Démo Proactive"

• I. Hamid : "Sémantique de AADL"

• E. Najm : "Assemblage Sain pour Composants Distribués"

• E. Najm : "Component Connectors"