退出
我的积分:
中文文献批量获取
外文文献批量获取
周培德;
软件工程;
机译:基于概率方法在分析校准方案时,使用基于概率方法作为最优标准的测试方案累积机制
机译:Hitachi Solutions车载软件模型库的开发测试过程价格便宜,并且从4月开始便在短时间内提供了新服务
机译:使用基于搜索的技术来测试通过图形转换指定的可执行软件模型
机译:模拟器验证结果和从飞行测试中提出的报告格式,测试复杂的高性能飞机的软件模型
机译:软件模型检查:缓冲区溢出分析的基准测试和技术
机译:一种测试和估计总体之间选择差异的概率方法
机译:软件模型检查中的并行分配
机译:收入再分配概率方法的极值和博弈论特征。
机译:用于将计算机代码插入电路的高级语言(HLL)软件模型中以在暴露于测试输入时监视软件模型的测试覆盖率的方法和装置
机译:用于测试材料的概率方法和系统
机译:用于材料测试的概率方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。