退出
我的积分:
中文文献批量获取
外文文献批量获取
李楠;
计算机网络;
机译:符号区域分析方法,用于冻结时钟的密集时间推动自动化可达性
机译:使用缩窄的符号可达性分析及其在密码协议验证中的应用
机译:根据AAMI 2013 / ISO协议验证孕妇自动化办公室血压机
机译:具有时间间隔的通信协议的定时可达性分析方法
机译:对加拿大普通法管辖区的省级和地区法院的法院记录政策的获取和公共可达性的法律分析=加拿大的法院记录策略和公共可达性的获取
机译:流导向的纳米通信网络的分析方法
机译:利用Narrowing进行符号可达性分析及其在密码协议验证中的应用
机译:自动计算机通信网络协议验证系统
机译:合同协议方法,协议验证方法,合同协议系统,协议验证设备,合同协议设备,合同协议程序和协议验证程序
机译:协议协议方法,协议验证方法,协议协议系统,协议验证装置,协议协议装置,协议协议程序和协议验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。