Jozef Balák, Karol Rástocný. Mathematical Model for Safety Evaluation of Distributed Interlocking System. In Jerzy Mikulski, editor, Management Perspective for Transport Telematics - 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers. Volume 897 of Communications in Computer and Information Science, pages 234-248, Springer, 2018. [doi]
Abstract is missing.