@inproceedings{DBLP:conf/enase/BougachaWKAD19,
  author    = {Racem Bougacha and
               Abderrahim Ait Wakrime and
               Slim Kallel and
               Rahma Ben Ayed and
               Simon Collart Dutilleul},
  editor    = {Ernesto Damiani and
               George Spanoudakis and
               Leszek A. Maciaszek},
  title     = {A Model-based Approach for the Modeling and the Verification of Railway
               Signaling System},
  booktitle = {Proceedings of the 14th International Conference on Evaluation of
               Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
               Crete, Greece, May 4-5, 2019},
  pages     = {367--376},
  publisher = {SciTePress},
  year      = {2019},
  doi       = {10.5220/0007728403670376},
}