退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:验证了iptables防火墙分析和验证
Cornelius Diekmann; Lars Hupel; Julius Michaelis; Maximilian Haslbeck; Georg Carle;
机译:经过验证的iptables防火墙分析和验证
机译:分布式防火墙配置的验证VS.使用ALCQI(D)的安全策略
机译:可重用的验证环境,用于验证以太网IP内核中的以太网数据包,一种验证策略-分析
机译:经过验证的iptables防火墙分析
机译:用于防火墙配置的自动验证工具
机译:使用TLA +正式验证基于SDN的防火墙
机译:程序分析/验证服务提供系统,相同,控制程序,控制程序,用于指向计算机的功能,程序分析/验证设备,程序分析/验证工具管理设备
机译:提供程序分析/验证服务的系统,控制系统的方法,计算机可读存储介质,用于程序分析/验证的设备,用于控制程序分析/验证的设备
机译:程序分析/验证服务提供系统,其控制方法,计算机可读非暂时性存储介质,程序分析/验证设备,程序分析/验证工具管理设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。