退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN103258081A
专利类型发明专利
公开/公告日2013-08-21
原文格式PDF
申请/专利权人 西安电子科技大学;
申请/专利号CN201310129977.9
发明设计人 田聪;段振华;段钊;
申请日2013-04-15
分类号
代理机构北京科亿知识产权代理事务所(普通合伙);
代理人汤东凤
地址 710071 陕西省西安市太白南路2号西安电子科技大学
入库时间 2024-02-19 19:46:08
法律状态公告日
法律状态信息
法律状态
2016-06-22
授权
2013-09-18
实质审查的生效 IPC(主分类):G06F17/50 申请日:20130415
实质审查的生效
2013-08-21
公开
机译: 处理数据抽象模型中定义的抽象派生实体
机译: 处理数据抽象模型中定义的抽象派生实体的方法和系统
机译:动态系统中虚假分叉的检测方法:在神经场模型中的应用
机译:以信号线之间的牵连关系为重点的虚假路径检测方法
机译:抽象中的虚假路径问题
机译:用于字级模型检查的高效抽象和改进
机译:钙调蛋白联合残基模型中构象变化的路径集成的高效且经过验证的模拟
机译:在抽象模型检查中有效地检测虚假反例✩
机译:抽象多面体中X路径的存在性