Waldemar Nowakowski, Piotr Bojarczak, Zbigniew Lukasik. Verification and Validation of Railway Control Systems Using an Expert System. In Tatiana Kováciková, Lubos Buzna, Ghadir Pourhashem, Giuseppe Lugano, Yannick Cornet, Nathalie Lugano, editors, Intelligent Transport Systems - From Research and Development to the Market Uptake - First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings. Volume 222 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 43-50, Springer, 2017. [doi]
Abstract is missing.