退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:自动验证声明网络计划的安全性质
Chen Chen; Lay Kuan Loh; Limin Jia; Wenchao Zhou; Boon Thau Loo;
机译:验证并发堆操作程序的安全属性
机译:梯形图程序的安全特性验证
机译:使用三值逻辑验证并发Java程序的安全属性
机译:精确和自动的基于合同的推理,用于验证和认证带有数组的程序的信息流属性
机译:验证Lustre程序的安全属性:一种基于SMT的方法。
机译:在车辆自组织网络中使用相对时间和区域优先级验证安全消息
机译:通过二次限制和半纤维编程的神经网络安全验证和鲁棒性分析
机译:验证器检查通过第一组件的通信网络发送到网络的第二网络组件的消息的真实性,通信网络,用于验证通过网络通信发送的消息的真实性的方法将网络连接到第二个网络组件(计算机程序的产品)。一个或多个用计算机程序编程的计算机和用计算机程序编程的计算机网络
机译:如何验证作品汇编的知识产权,用于验证作品汇编的知识产权的程序,用于记录该程序的记录介质的编辑的知识产权以及用于验证权利的作品服务器
机译:加密协议安全验证设备,加密协议设计设备,加密协议安全验证方法,加密协议设计方法,加密协议安全验证程序和加密协议
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。