Melissa Issad
3
Documents
Publications
|
A contribution to safety analysis of railway CBTC systems using ScolaSafety and Reliability of Complex Engineered Systems: ESREL 2015, Sep 2015, Zurich, Switzerland. ⟨10.1201/b19094-64⟩
Communication dans un congrès
hal-01246161v1
|
|
Modeling the CBTC railway system with ScOLAITS World Congress, Oct 2015, Bordeaux, France
Communication dans un congrès
hal-01259451v1
|
|
SCOLA: a Scenario Oriented LAnguage for railway system specifications Context Formal model System specificationsForum Académie Industrie de l'AFIS (Agence Française d'Ingénierie Système), Dec 2014, Paris, France
Poster de conférence
hal-01239278v1
|