退出
我的积分:
中文文献批量获取
外文文献批量获取
赵显琼;
北京交通大学;
高速列车; 运行控制系统; 可信性验证; 复杂安全苛求系统; 混成马尔可夫链; 安全性自动测试; 无线闭塞中心;
机译:基于验证的面向源代码的软件可信性度量
机译:高速铁路列车运行控制系统
机译:通过基于模型的传感器故障检测自动校准高速公路模型。
机译:超基因验证:一种基于模型的协议用于评估非基于模型的超基因方法的准确性
机译:高密度半导体封装及板载超高速,超高频特性验证方法研究
机译:基于模型的电解电容器预测方法研究 - 基于电过载加速老化的案例研究。
机译:可视化工具,用于审查可信性和对可信性的状态分层访问
机译:高速列车运行控制系统的安全风险动态分析方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。