退出
我的积分:
中文文献批量获取
外文文献批量获取
曹源;
北京交通大学;
高速铁路列车; 运行控制系统; 形式化建模; 特性验证; 域方法;
机译:基于Web的高速铁路列车控制系统跨境临时速度限制的建模与验证 定时自动机
机译:高速铁路对旅游业的影响:来自中国建模经验的西班牙经验证据
机译:基于形式验证的处理器错误恢复机制容忍度评估方法研究
机译:高速铁路列车运行控制系统
机译:路由器策略的分层形式建模和验证,以及对思科路由器配置的应用案例研究
机译:用定时自动机磁悬浮列车运行控制系统的切换过程建模
机译:复杂核材料废物形式的潜在运输关注的高级建模和实验验证
机译:形式验证驱动的电源建模和设计验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。