Melissa Issad

According to our database, Melissa Issad authored at least 4 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Scenario-oriented reverse engineering of complex railway system specifications.

Melissa Issad, Leïla Kloul, Antoine Rauzy

Syst. Eng., 2018

Modeling the CBTC Railway System of Siemens with <i>ScOLa</i>.

Melissa Issad, Leïla Kloul, Antoine Rauzy, Karim Berkani

Int. J. Intell. Transp. Syst. Res., 2018

2016

Incremental Modeling Methodology of Railway System Specifications.

Melissa Issad, Leïla Kloul, Antoine Rauzy

Proceedings of the Complex Systems Design & Management, 2016

2014

A Model-Based Methodology to Formalize Specifications of Railway Systems.

Melissa Issad, Leïla Kloul, Antoine Rauzy

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014