[发明专利]基于时间安全输入输出自动机的测试方法及系统无效
申请号: | 200510086936.1 | 申请日: | 2005-11-21 |
公开(公告)号: | CN1971535A | 公开(公告)日: | 2007-05-30 |
发明(设计)人: | 赵琛;陈伟 | 申请(专利权)人: | 中国科学院软件研究所 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京君尚知识产权代理事务所 | 代理人: | 冯艺东 |
地址: | 100080北*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 基于 时间 安全 输入 输出 自动机 测试 方法 系统 | ||
【说明书】:
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学院软件研究所,未经中国科学院软件研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/200510086936.1/2.html,转载请声明来源钻瓜专利网。
- 上一篇:用于生产有机化合物的方法
- 下一篇:一种改善用户接入服务质量的方法