A Newly Developed Safety-Critical Computer System for China Metro

Xiangxian Chen, Gongshuang Zhou, Yi Yang, Hai Huang. A Newly Developed Safety-Critical Computer System for China Metro. IEEE Transactions on Intelligent Transportation Systems, 14(2):709-719, 2013. [doi]

Abstract

Abstract is missing.