公开/公告号CN112818561A
专利类型发明专利
公开/公告日2021-05-18
原文格式PDF
申请/专利权人 北京车和家信息技术有限公司;
申请/专利号CN202110209365.5
发明设计人 黄飞;
申请日2021-02-24
分类号G06F30/20(20200101);G06F119/08(20200101);
代理机构11489 北京中政联科专利代理事务所(普通合伙);
代理人陈超
地址 101300 北京市顺义区高丽营镇恒兴路4号院1幢103室(科技创新功能区)
入库时间 2023-06-19 11:02:01
法律状态公告日
法律状态信息
法律状态
2023-09-22
授权
发明专利权授予
机译: 在第一处理装置和第二处理装置,第一处理装置和第二处理装置之间复制信息的复制方法
机译: 分布式环境模型的模型检查装置,分布式环境模型的模型检查方法和介质
机译: 分布式环境模型的模型检查装置,分布式环境模型的模型检查方法和程序