重载列车上人员攀车行为感知及其时间自动机模型
중재열차상인원반차행위감지급기시간자동궤모형
Safety Supervision System for Heavy Haul Railway:Timed Automaton Model and Verfication
저자의 최근 논문