CTCS-3 Train control system; Test sequence; Train operation simulation; Rule base; Rationality verification; Verification strategy;
机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:一种基于仿真的方法来确定系统间运行测试配置的评估充分性
机译:具有参数化模态直播序列图表的列车控制系统的运行时验证
机译:基于模拟CTCS-3列车控制系统测试序列合理性验证方法
机译:基于行为的仿真方法研究四站控制交叉口的通行能力和交通运营特性
机译:变形翼尖驱动系统的基于模糊逻辑的控制:设计数值模拟和风洞实验测试
机译:基于模拟CTCS-3列车控制系统测试序列合理性验证方法