登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
针对软件测试数据生成与Petri网可达性分析的适度函数
出版年:
2018
作者:
徐雄
资源类型:
图书
细分类型:
学位论文
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Petri网系统的可达性研究
作者:
吴文渊
出版年:
2002
基于极小T-不变量增加的Petri网可达性分析
作者:
彭建兵
出版年:
2010
基于极小T-不变量增加的 Petri 网可达性分析
作者:
彭建兵
出版社:
中国科学院
出版年:
2010
软件结构化测试数据生成技术
作者:
吴添勇
出版年:
2014
函数型数据分析 :[英文本]
作者:
Ramsay
ISBN:
7030166930
出版社:
科学出版社
出版年:
2006
时间符号迁移图上的可达性分析
作者:
陈靖
出版社:
中国科学院
出版年:
2002
×
访问借阅管理系统