![]() |
Functional safety verification of train control procedure in train-centric cbtc by colored petri net
点击次数:
DOI码:10.5604/01.3001.0014.2730
发表刊物:Archives of Transport
论文类型:期刊论文
卷号:54
期号:2
页面范围:43-58
是否译文:否
发表时间:2020-01-01
收录刊物:EI
![]() |
点击次数:
DOI码:10.5604/01.3001.0014.2730
发表刊物:Archives of Transport
论文类型:期刊论文
卷号:54
期号:2
页面范围:43-58
是否译文:否
发表时间:2020-01-01
收录刊物:EI