机译:具有参数化模态直播序列图表的列车控制系统的运行时验证
National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University Beijing 100044 China Beijing Laboratory of Urban Rail Transit Beijing 100044 China;
National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University Beijing 100044 China Beijing Laboratory of Urban Rail Transit Beijing 100044 China;
State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing 100044 China;
National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University Beijing 100044 China Beijing Laboratory of Urban Rail Transit Beijing 100044 China;
Runtime verification; Live sequence chart; Train control system;
机译:故障不受控制的环境智能系统的运行时验证:统一方法
机译:用于基于参数化概率模型的运行时验证的表达式缓存
机译:用于基于参数化概率模型的运行时验证的表达式缓存
机译:走向风险预测:用于超速保护的列车控制系统的运行时验证
机译:使用实时序列图规范进行系统的形式验证
机译:嵌入式实时系统的运行时验证
机译:基于模拟CTCS-3列车控制系统测试序列合理性验证方法
机译:modelplex:已验证的网络物理系统模型的运行时验证。