Skip to Main content
Number of documents


Melissa Issad resume

Conference papers2 documents

  • Melissa Issad, Leila Koul, Antoine Rauzy. A contribution to safety analysis of railway CBTC systems using Scola. Safety and Reliability of Complex Engineered Systems: ESREL 2015, Sep 2015, Zurich, Switzerland. ⟨10.1201/b19094-64⟩. ⟨hal-01246161⟩
  • Melissa Issad, Leila Kloul, Antoine Rauzy, Karim Berkani. Modeling the CBTC railway system with ScOLA. ITS World Congress, Oct 2015, Bordeaux, France. ⟨hal-01259451⟩

Poster communications1 document

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