FIACRE réunion plénière
INRIA Rhone-Alpes, Montbonnot, Sep 2005
- E. Madelaine: ``L'outil ADL2N: conception''
- T. Barros: ``Behavioural Models for Distributed Hierarchical Components''
- T. Barros "demos ADL2N, FC2Instantiate, FC2Exp, CADP"
- I. Hamid: ``Composants et Connecteurs: vers une construction formelle d'un middleware temps-reel''
- F. Vernadat: ``L'outil TINA: construction d'espaces d'etats abstraits pour la verification de systemes critiques; derniers developements''
- M. Filali: ``Raffinement contextuel de composants parametres''
- F. Lang. ``Exp.Open 2.0: un outil flexible integrant reductions d'ordres partiels, verification compositionnelle et verification a la volee''
- H. Garavel. ``DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit
State Space Generation''
- Invited Speaker: J.-B. Stefani (Sardes project, INRIA Rhone-Alpes). ``Une introduction a Fractal''
Last modified: Mon Jan 17 17:18:58 MET 2005