北京交通大学学报2023，Vol.47Issue(2)：1-12,12.DOI:10.11860/j.issn.1673-0291.20220154
CTCS-1级列控系统无线广播通信场景建模与验证
Modeling and verification of radio broadcast communication scenario for CTCS-1 train control system
摘要
关键词
列控系统/无线广播通信场景/概率模型检验/SysML/车站数据服务器分类
交通工程引用本文复制引用
刘中田,张茜,赵焕..CTCS-1级列控系统无线广播通信场景建模与验证[J].北京交通大学学报,2023,47(2):1-12,12.基金项目
国家自然科学基金(52272328) （52272328）
