高速列车ATP控车模式的形式化模型与安全性分析
고속열차ATP공차모식적형식화모형여안전성분석
Formalization Model of High Speed Trains in ATP Control and Its Safety Analysis
저자의 최근 논문