Melissa Issad

3
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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