搜索结果: 1-1 共查到“安全科学技术其他学科 Verification”相关记录1条 . 查询时间(0.098 秒)
Verification of the safety communication protocol in train control system using colored Petri net
EURORADIO The safety communication protocol Colored petri net Verification
2012/4/16
This paper deals with formal and simulation-based verification of the safety communication protocol in ETCS (European Train Control System). The safety communication protocol controls the establishmen...