Accéder directement au contenu

Melissa Issad

3
Documents

Publications

Image document

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
Image document

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
Image document

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