|
已选(0)清除
条数/页： 排序方式：
|
| 一种可信虚拟机迁移模型构建方法 期刊论文
计算机研究与发展, 2017, 卷号: 54, 期号: 10
作者: 石源; 张焕国; 吴福生
  收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 一种可信虚拟机迁移模型构建方法 期刊论文
计算机研究与发展, 2017
作者: 石源; 张焕国; 吴福生
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 并行软件模型检测 期刊论文
2010, 2010
邝宏斌; 罗贵明; KUANG Hong-bin; LUO Gui-ming
收藏 | 浏览/下载：1/0 |
| 生成诊断公式的有限状态进程等价验证 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 2, 页码: 344-347
李明
收藏 | 浏览/下载：5/0 | 提交时间：2011/05/23
|
| 模态逻辑公式为见证的互模拟等价判定 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：9/0 | 提交时间：2009/06/11
|
| 顺序进程演算的若干扩展 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
柴鸣人
收藏 | 浏览/下载：6/0 | 提交时间：2011/03/17
|
| 一种基于时间自动机的实时系统测试方法 期刊论文
软件学报, 2007, 卷号: 18, 期号: 1, 页码: 62-73
陈伟; 薛云志; 赵琛; 李明树
收藏 | 浏览/下载：9/0 | 提交时间：2010/07/05
|
| 基于扩展CHAM模型的软件集成测试方法 期刊论文
计算机科学, 2005, 期号: 6
作者: 叶俊民; 罗景; 朱凯; 赵良
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| TSP及其操作语义模型研究 期刊论文
海军工程大学学报, 2005, 卷号: 17, 期号: 2
作者: 叶俊民; 王振宇; 赵恒; 黄萍
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 基于STGA的并发程序测试 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
唐江峻
收藏 | 浏览/下载：20/0 | 提交时间：2011/03/17
|
