退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用TLA +正式验证基于SDN的防火墙
Young-Mi Kim; Miyoung Kang;
机译:基于SDN的防火墙的挑战和防范。
机译:组成组件的正式模型:TLA + sup>方法
机译:使用TLA +和TLC模型检查器对多主体行为进行正式规范和验证
机译:使用TLA +的Firewall的正式规范和验证
机译:用于防火墙配置的自动验证工具
机译:经过验证的iptables防火墙分析和验证
机译:TLa +正式规范和验证新的实时通信协议*
机译:验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法,以及具有验证支持设备的正式验证设备
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:正式和非正式的组合电路验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。