Nombre de documents

3

CV Melissa Issad


Communication dans un congrès2 documents

  • Melissa Issad, Leila Kloul, Antoine Rauzy, Karim Berkani. Modeling the CBTC railway system with ScOLA. ITS World Congress, Oct 2015, Bordeaux, France. 2015. 〈hal-01259451〉
  • 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. 2015, 〈10.1201/b19094-64〉. 〈hal-01246161〉

Poster1 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〉