SyncCharts: A Visual Representation of Reactive Behaviors ? C. ANDRE ? rapport de recherche RR 96-56, 1996. ,
The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, 1992. ,
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711
European Macrosismic Scale 1998 (EMS-1998) sous la direction de G GRÜNTHAL, 1996. ,
On the development of Reactive Systems in Logics and Models of Concurrent Systems, Statecharts : A visual Approach to Complex Systems, 1985. ,
Evaluation qualitative de systèmes physiques pour la sûreté de fonctionnement, 2003. ,
PERILHON -Ecole d " été "Gestion Scientifique du risque " septembre, 1999. ,
La modélisation des systèmes complexes, 1990. ,
Modélisation synchrone appliquée à la sûreté de fonctionnement, ? Collection sciences et technologies, 1999. ,
Modèles simples de comportement humain appliqués au transport maritime ? C. VIVALDA -Ecole d " été "Gestion Scientifique du risque " septembre 1999 Textes réglementaires, 1999. ,
Décret relatif à la sécurité des transports publics guidés, CNET , recueil de fiabilité, 1993. ,