Haifeng Wang, Bin Ning, Tan Chen, Shengjie Tang, Yong Zhang, Ming Chai. Route safety verification of train control system by FTA modeling in SCADE. In Wei-Bin Zhang, Alexandre M. Bayen, Javier J. Sánchez Medina, Matthew J. Barth, editors, 21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018. pages 2718-2723, IEEE, 2018. [doi]
Abstract is missing.