退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于提高安全关键嵌入式系统中软件可靠性的测试用例的生成方法
Bongjoo Koo; Jungho Bae; Seogbong Kim; Kangmin Park; Hyungshin Kim;
机译:计算持续时间软件可靠性验证测试的方法的比较,特别是对于安全关键型系统
机译:基于贝叶斯信仰网络的定量软件可靠性评估方法及安全关键软件的统计测试
机译:用于安全关键系统的软件可靠性演示的最佳统计测试策略
机译:安全关键型嵌入式应用软件的可靠性证明测试方法
机译:用于安全关键型软件系统的加速测试数据生成
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:使用选择性故障激活的软件可靠性测试方法,测试区域限制方法,工作量生成方法以及使用该方法进行软件可靠性测试的计算装置
机译:使用选择性故障激活的软件可靠性测试方法,测试区域限制方法,工作量生成方法以及用于使用相同方法测试软件可靠性的计算设备
机译:基于安全关键软件自动需求的测试案例生成的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。