AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于区域覆盖分析的并发实时系统测试计划生成
Farn Wang; Geng-Dian Huang;
机译:基于RTL的功能测试生成,用于高缺陷在数字系统中覆盖范围
机译:基于模型的实时自适应运动计划系统的测试
机译:基于实时系统的功能规范的研究
机译:基于区域覆盖率分析的并发实时系统测试计划生成
机译:用于实时数据库系统的基于语义的并发控制协议和分布式软件代理。
机译:全民健康覆盖需要一种系统方法:对加纳基于社区的健康计划和服务(CHPS)计划的分析
机译:使用plan 9进行基于模型的测试的实验:标记的过渡文件系统,堆叠文件系统,即时覆盖测量
机译:基于动态覆盖率分析的测试计划
机译:用于基于静态和动态分析记录确定测试程序的代码覆盖率的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。