中国开放科研知识云: 检索

浏览/检索结果: 共4条，第1-4条

帮助

已选(0)清除条数/页：排序方式：
	基于硬件虚拟化的软件安全沙盒技术研究学位论文硕士, 北京: 中国科学院大学, 2013 姜军收藏 \| 浏览/下载：20/0 \| 提交时间：2013/05/22 硬件虚拟化虚拟云计算云安全面向返回编程沙盒 Xen
	PAR中泛型约束机制的设计与实现学位论文博士, 北京: 中国科学院大学, 2011 左正康收藏 \| 浏览/下载：14/0 \| 提交时间：2013/06/07 泛型约束机制 Hoare公理语义代数结构 PAR Kleene泛型算法
	组件化软件过程建模与分析方法研究学位论文硕士, 北京: 中国科学院研究生院, 2010 翟健收藏 \| 浏览/下载：9/0 \| 提交时间：2010/01/25 软件过程建模语言
	基于形式描述的编译优化自动测试方法与技术研究学位论文硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009 - 收藏 \| 浏览/下载：15/0 \| 提交时间：2009/06/12 编译优化，测试自动化，形式描述，测试程序，测试生成，测试执行

在结果中检索