Andrzej Bialas. Computer Support for the Railway Safety Management System - First Validation Results. In Wojciech Zamojski, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak, Janusz Kacprzyk, editors, Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 - July 4, 2014, Brunów, Poland. Volume 286 of Advances in Intelligent Systems and Computing, pages 81-91, Springer, 2014. [doi]
Abstract is missing.