铁道标准设计2018，Vol.62Issue(12)：159-163,5.DOI:10.13238/j.issn.1004-2954.201803050003
基于HUML扩展机制描述列控系统安全特性的研究
Research on Train Control System Safety Property Based on Extensibility Mechanisms of HUML
摘要
关键词
UML扩展机制/HUML/安全特性/列车运行控制系统分类
信息技术与安全科学引用本文复制引用
刘磊..基于HUML扩展机制描述列控系统安全特性的研究[J].铁道标准设计,2018,62(12):159-163,5.基金项目
国家自然科学基金(高铁联合基金)(U1534208) （高铁联合基金）
