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