Formal Verification of Network Interlocking Control by Distributed Signal Boxes

Stylianos Basagiannis, Panagiotis Katsaros. Formal Verification of Network Interlocking Control by Distributed Signal Boxes. In Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano, editors, Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Volume 11842 of Lecture Notes in Computer Science, pages 204-221, Springer, 2019. [doi]

@inproceedings{BasagiannisK19,
  title = {Formal Verification of Network Interlocking Control by Distributed Signal Boxes},
  author = {Stylianos Basagiannis and Panagiotis Katsaros},
  year = {2019},
  doi = {10.1007/978-3-030-32872-6_14},
  url = {https://doi.org/10.1007/978-3-030-32872-6_14},
  researchr = {https://researchr.org/publication/BasagiannisK19},
  cites = {0},
  citedby = {0},
  pages = {204-221},
  booktitle = {Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings},
  editor = {Yiannis Papadopoulos and Koorosh Aslansefat and Panagiotis Katsaros and Marco Bozzano},
  volume = {11842},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-32872-6},
}