退出
我的积分:
中文文献批量获取
外文文献批量获取
第一个书签之前
宋雪勦;
西华大学;
符号执行; 软件; 安全领域;
机译:频谱反演技术在频域中的研究与应用,以提高转换后的PS波的分辨率
机译:基础研究与应用之间的紧张领域中的环境毒理学:金属硫蛋白作为生物标志物的实例
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:机载软件安全需求推理的研究与应用
机译:德克萨斯州戴维斯山上的野猪(Sus scrofa)和领领野猪(Pecari tajacu)的生态寄生虫多样性和立克次体测试。
机译:研究与应用:临床领域中的单词歧义消除:知识丰富和知识匮乏的无监督方法的比较
机译:使用符号执行验证并发系统:时间推理是符号执行的一点点归纳
机译:开发软件安全评估工具以降低软件安全风险
机译:高山滑雪靴,其具有枢转的后领和前领,该前领可绕位于特定区域中的横向轴线枢转
机译:符号执行方法,符号执行程序和符号执行装置
机译:符号执行程序,符号执行方法和符号执行装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。