退出
我的积分:
中文文献批量获取
外文文献批量获取
黄松; 嵇孟雨; 惠战伟; 葛研;
全军军事训练软件测评中心;
解放军理工大学工程兵工程学院;
解放军理工大学指挥自动化学院;
济南军区山东省军区后勤部;
静态分析; 软件缺陷检测; 软件缺陷验证; 软件测试;
机译:使用色线传感器照相机的卷筒纸外观检查装置是有效的:对于每种颜色的缺陷分类和浅色缺陷的检测都是有效的。
机译:设计一种有效的安全框架以检测云计算虚拟网络中的入侵
机译:金属有机框架MIL-53(Fe)作为一种有效的人工氧化酶,用于比色性检测细胞生物硫醇
机译:恶意软件检测的一种有效的行为检测静态分析框架
机译:一种新的ATPG算法,可生成紧凑的测试集,以检测VLSI电路中的静态和动态缺陷。
机译:立即激活无法挽救静态CD4 + T细胞中有效的人类免疫缺陷病毒复制
机译:一种有效的静态量子蒙特卡罗评估方法 多电子系统的密度响应函数
机译:图像分析中的纹理函数:一种计算有效的解决方案
机译:存在虚拟函数调用时的静态分析缺陷检测
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。