National Engineering Research Centre of Rail Transportation Operation and Control Systems Bijing Jiaotong University Beijing China;
State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing China;
National Engineerin;
Safety; Control systems; Fault trees; Rail transportation; Circuit faults; Tracking; Mathematical model;
机译:下一代列车控制系统火车出发场景的建模与验证
机译:基于列车控制系统安全要求的系统要求规格验证方法
机译:基于列车控制系统安全要求的系统要求规格验证方法
机译:FTA模型在粪便中的路径安全验证
机译:隐藏式混合动力系统安全控制的开发和多车实验室的验证。
机译:损伤实验动物模型中伤害控制的功效和安全性:系统评价和荟萃分析的方案
机译:使用SCADE设计验证程序的Simulink模型的基于模型的安全性分析
机译:高速地面运输系统的安全性:计算机控制子系统安全验证的分析方法。第1卷。安全验证/验证方法的最新技术和评估