已选(0)清除
条数/页: 排序方式:
|
| 实时系统组合抽象精化验证研究 期刊论文 2016, 2016 梅佳; 王生原; 伍华健; MEI Jia; WANG Sheng-yuan; WU Hua-jian 收藏  |  浏览/下载:4/0 |
| 抽象精化和可满足性结合的EFSM 模型测试用例优化生成 期刊论文 计算机学报, 2016, 卷号: 39, 页码: 2236-2252 作者: 陆公正[1]; 缪淮扣[2] 收藏  |  浏览/下载:3/0  |  提交时间:2019/04/26
|
| 基于Verds的C语言子集的模型检测方法 期刊论文 计算机系统应用, 2013, 期号: 11, 页码: 19-25,18 张兰兰 收藏  |  浏览/下载:6/0  |  提交时间:2014/12/16
|
| 反例引导的Web应用模型检验 学位论文 : 上海大学, 2009 作者: 谭亮[1] 收藏  |  浏览/下载:1/0  |  提交时间:2019/04/30
|
| 支持协商的网构软件体系结构行为建模与验证 期刊论文 软件学报, 2008 周立; 陈湘萍; 黄罡; 孙艳春; 梅宏 收藏  |  浏览/下载:3/0  |  提交时间:2015/10/23
|
| Web应用的验证与测试方法研究 学位论文 : 上海大学, 2008 作者: 曾红卫[1] 收藏  |  浏览/下载:1/0  |  提交时间:2019/05/06
|
| 构件组合的抽象精化验证 期刊论文 软件学报, 2008, 卷号: 19, 页码: 1149-1159 作者: Zeng, Hong-Wei[1]; Miao, Huai-Kou[2] 收藏  |  浏览/下载:1/0  |  提交时间:2019/05/06
|