Melissa Issad

Publications

Communication dans un congrès (2)

A contribution to safety analysis of railway CBTC systems using Scola Melissa Issad,Leila Koul,Antoine Rauzy Safety 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 ScOLA Melissa Issad,Leila Kloul,Antoine Rauzy,Karim Berkani ITS World Congress, Oct 2015, Bordeaux, France Communication dans un congrès hal-01259451v1

Poster de conférence (1)

SCOLA: a Scenario Oriented LAnguage for railway system specifications Context Formal model System specifications Melissa Issad,Antoine Rauzy,Leila Kloul,Karim Berkani Forum Académie Industrie de l'AFIS (Agence Française d'Ingénierie Système), Dec 2014, Paris, France Poster de conférence hal-01239278v1