Publications

DBLP Google Scholar

by Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul
Reference:
Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul, A Model-based Approach for the Modeling and the Verification of Railway Signaling System, In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019 (Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, eds.), SciTePress, 2019.
Bibtex Entry:
@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},
}