退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用符号执行的并发系统的交互式验证
Simon Bäumler; Michael Balser; Florian Nafz; Wolfgang Reif; Gerhard Schellhorn;
机译:使用符号执行对并发系统进行交互式验证
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:用符号执行验证并发系统
机译:带有空间挤压的空间并发约束系统的重写模SMT符号执行和可达性分析
机译:计算可改善交互式符号执行。
机译:用于交互式医疗IT系统验证的模型检查
机译:使用符号执行验证C ++程序的方法和系统
机译:交互式证明批量执行方式,该系统的素数生成部门,证明人设备,验证人
机译:交互式认证批处理的执行方法,系统参考,认证设备,验证器设备以及程序参考
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。