退出
我的积分:
中文文献批量获取
外文文献批量获取
邓超强; 曾凡平; 张辉; 张震宇; 董齐兴;
1. 中国科学技术大学计算机科学与技术学院 2. 中国科学院软件研究所计算机科学国家重点实验室 3. 安徽省计算与通讯软件重点实验室;
断言; 切片; 程序执行监测; 非崩溃错误;
机译:变更后分布中参数错误指定下的Shiryaev-Roberts变更点检测程序的鲁棒性
机译:预防错误部位,错误程序和错误人员错误的质量改进指南:联合委员会“预防错误部位,错误程序,错误人员手术的通用协议”在介入放射学实践中的应用。
机译:OPERA实验中的短寿命粒子检测程序及其在魅力衰减中的应用
机译:通过程序切片检测程序抄袭的有效技术
机译:探索基于Web的应用程序中的用户可见错误,以改进基于Web的应用程序。
机译:加强信号检测程序中的错误
机译:Studio应用了基于实数模型的验证和基于断言的混合信号验证。基于实数建模与断言的验证技术在混合信号电路设计中的研究与应用
机译:检测程序中的错误
机译:游戏系统中的错误检测方法,错误发生避免方法,错误检测程序,错误发生避免程序和记录介质
机译:程序分析装置,错误检测装置,程序分析方法,错误检测方法,程序分析程序和错误检测程序
机译:程序分析器,错误检测器,程序分析方法,错误检测方法,程序分析程序和错误检测程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。