公开/公告号CN113259174B
专利类型发明专利
公开/公告日2021-10-19
原文格式PDF
申请/专利权人 上海慧捷智能技术有限公司;慧捷(上海)科技股份有限公司;
申请/专利号CN202110628531.5
申请日2021-06-07
分类号H04L12/24(20060101);H04L29/08(20060101);
代理机构31243 上海百一领御专利代理事务所(普通合伙);
代理人甘章乖;朱永海
地址 201210 上海市浦东新区自由贸易试验区张江路665号三层
入库时间 2022-08-23 12:37:52
机译: 基于正式模型检查多云环境中网络函数的优化实现方法
机译: 基于正式模型检查多云环境中网络函数的优化实现方法
机译: 基于正式模型检查的多云环境中网络功能的优化实现方法