退出
我的积分:
中文文献批量获取
外文文献批量获取
高婉玲; 赵鹤;
四川大学计算机学院,成都610065;
程序分析; 静态分析方法; 静态分析工具; 系统化文献评价;
机译:用于包括递归的程序的参数执行时间分析方法和工具的原型
机译:递归程序的参数执行时间分析方法和工具原型
机译:参数执行时间分析方法和工具原型,用于包含递归的程序
机译:带有污点分析方法的静态代码分析工具可检测Web应用程序漏洞
机译:跨国药物实验室分析方法的局部验证程序的开发与实现=跨国药剂中分析方法局部验证的局部验证程序的开发和实施
机译:新的消失数据分析方法可以提高多发性硬化中静态后术的诊断价值
机译:C程序和Linux设备驱动程序的静态验证工具:调查
机译:应用荷载比静态试验模拟技术在全尺寸结构中的应用。 I,分析方法和数字计算机程序
机译:静态分析装置,静态分析方法和计算机程序
机译:静态分析系统,服务器,静态分析方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。