1
Modeling and formal analysis of level transition in train control system based on UML and CPN
基于UML和CPN的列控系统等级转换建模与分析
No. 1, 2019 : 140-143,162
doi:10.19734/j.issn.1001-3695.2017.07.0670