退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN113031934B
专利类型发明专利
公开/公告日2022-07-26
原文格式PDF
申请/专利权人 卡斯柯信号有限公司;
申请/专利号CN202110368555.1
发明设计人 魏民;王燕芩;张铭瑶;王绍新;杨帆;刘晓;张程;张文燕;
申请日2021-04-06
分类号G06F8/30;B61L19/06;
代理机构上海元好知识产权代理有限公司;
代理人张妍;张静洁
地址 200070 上海市静安区天目中路428号凯旋门大厦27层C/D座
入库时间 2022-09-06 00:36:09
法律状态公告日
法律状态信息
法律状态
2022-07-26
授权
发明专利权授予
机译: 用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译: eLok-一种用于身份验证,数据安全,DRM和加密的系统,用于电子商务和电子商务系统
机译: 一种用于电子商务和电子商务系统的身份验证,数据安全,数字版权管理和加密系统
机译:面向基于观察者的形式化验证的定时UML标记规范的转换方法
机译:嵌入式软件建模的一种形式化转换方法
机译:Tiny-π:一种用于动态部分重配置过程的规范,分析和验证的新颖形式化方法
机译:在软件定义无线电的范围内,针对设计模型相对于其规格模型的符合性验证:一种模型转换方法。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:一种用于验证IEEE标准浮点除法的测试平台的形式化模型和有效遍历算法
机译:一种混合故障模型下时钟同步的形式化验证算法