Melissa Issad
3
Documents
Publications
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⟩ |
|
|
Modeling the CBTC railway system with ScOLAITS World Congress, Oct 2015, Bordeaux, France |
|
|
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 |
Chargement...
Chargement...