Safety test environment for safety assessment oriented CTCS-2 train control system
熊静 喻钢 徐中伟 郦萌
Journal of Computer Applications . 2010, (8): 2181 -2184 .