基于概率模型检验的CTCS-3级无线通信建模与分析
全宏宇;赵会兵
Modeling and analyzing of CTCS-3 radio communication based on probabilistic model check
QUAN Hongyu;ZHAO Huibing
北京交通大学学报 . 2014, (2): 37 .  DOI: 10.11860/j.issn.1673-0291.2014.04.07