Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking
['Xiao Han', 'Tao Tang', 'Jidong Lv', 'Haifeng Wang']
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking