|
已选(0)清除
条数/页： 排序方式：
|
| 抽象精化和可满足性结合的EFSM 模型测试用例优化生成 期刊论文
计算机学报, 2016, 卷号: 39, 页码: 2236-2252
作者: 陆公正[1]; 缪淮扣[2]
  收藏 | 浏览/下载：3/0 | 提交时间：2019/04/26
|
| 非空集类有生成半域的条件 期刊论文
2015, 2015
范胜君,吴祝武,胡建华等
收藏 | 浏览/下载：5/0 | 提交时间：2017/06/15
|
| 基于EFSM模型的测试用例优化生成及实例化 学位论文
: 上海大学, 2014
作者: 陆公正[1]
收藏 | 浏览/下载：7/0 | 提交时间：2019/04/30
|
| 时间自动机模型检测具体反例的生成与图形化显示 学位论文
硕士, 北京: 中国科学院研究生院, 2013
信贤卫
收藏 | 浏览/下载：9/0 | 提交时间：2013/05/31
|
| 具体反例生成与图形化显示系统 期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 51-57
信贤卫
收藏 | 浏览/下载：9/0 | 提交时间：2014/12/16
|
| 面向领域问答系统的自然语言理解和语义文法学习方法研究 学位论文
北京: 中国科学院研究生院, 2012
作者: 王东升
收藏 | 浏览/下载：54/0 | 提交时间：2012/06/26
|
| 基于OBDD的SMC反例生成研究 期刊论文
2012, 卷号: 48, 页码: 54-58,145
作者: 姚全珠; 苗永军
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/20
|
| 符号模型检测反例的研究 学位论文
: 西安理工大学, 2011
作者: 苗永军
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/20
|
| 幂零群的一个反例 其他
2010-01-01
刘合国; 张继平; 廖军
收藏 | 浏览/下载：4/0 | 提交时间：2017/12/03
|
| 时间自动机关于LTL性质的符号化模型检测工具及其改进 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
魏绪凯
收藏 | 浏览/下载：16/0 | 提交时间：2009/06/14 |
