公开/公告号CN103530447B
专利类型发明专利
公开/公告日2017-04-12
原文格式PDF
申请/专利权人 北京经纬恒润科技有限公司;
申请/专利号CN201310446441.X
申请日2013-09-26
分类号G06F17/50(20060101);G06F9/455(20060101);
代理机构11227 北京集佳知识产权代理有限公司;
代理人王宝筠
地址 100101 北京市朝阳区安翔北里11号B座8层
入库时间 2022-08-23 09:54:28
法律状态公告日
法律状态信息
法律状态
2017-04-12
授权
授权
2014-02-26
实质审查的生效 IPC(主分类):G06F 17/50 申请日:20130926
实质审查的生效
2014-01-22
公开
公开
机译: 针对SIMULINK /状态流模型的基于有效分区细化的可达性检查
机译: 从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例
机译: 自动生成虚拟工厂模型的系统,自动生成虚拟工厂模型的方法,自动模拟虚拟工厂模型的系统和自动模拟虚拟工厂模型的方法