退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:ADA 95和安全关键软件
Holloway; C.M.;
机译:基于贝叶斯信仰网络的定量软件可靠性评估方法及安全关键软件的统计测试
机译:基于系统模型与软件模型协同分析的安全关键系统软件FMEA
机译:AdaStress:安全关键系统的自适应压力测试和可解释的分类
机译:敏捷方法的开源安全关键软件
机译:Ada 95和安全关键软件
机译:将实时或安全关键软件和操作系统与非关键软件和操作系统隔离的方法
机译:从非关键软件和操作系统隔离实时或安全关键软件和操作系统的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。