Andrzej Torun, Andrzej Lewinski, Pawel Gradowski. Modeling of ETCS Levels with Respect to Functionality and Safety Including Polish Railways Conditions. In Jerzy Mikulski, editor, Telematics - Support for Transport - 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Kraków/Ustroń, Poland, October 22-25, 2014. Selected Papers. Volume 471 of Communications in Computer and Information Science, pages 11-18, Springer, 2014. [doi]
Abstract is missing.