退出
我的积分:
中文文献批量获取
外文文献批量获取
李耀; 陈荣武; 郭进; 孔令晶; 周正;
西南交通大学信息科学与技术学院,四川成都610031;
区域控制器; 时间安全状态机; 建模; 高安全性应用开发环境; 验证; 模型检测;
机译:基于CBTC的城市轨道交通折返容量算法设计与仿真
机译:通过问题框架和基于约束的投影简化区域控制器中安全要求的形式验证
机译:由联邦技术法规局委托对TsSM ilm MNII的验证活动进行验证的程序
机译:事件B中基于属性的CBTC区域控制器的建模和验证
机译:基于安全通信的列车控制(CBTC)操作。
机译:基于高效模式识别控制策略的人工手部区域控制器
机译:基于端口对象的CBTC系统通用测试平台的可组合式建模方法
机译:基于通信的列车控制(CBTC)成本效益研究之前/之后
机译:在基于CBTC(基于通信的火车控制)火车控制和火车保护系统中定位轨道车辆的方法和组件
机译:基于移动终端及其记录介质的基于信息建模的通信系统,基于信息建模的通信服务器和基于信息建模的通信方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。