已选(0)清除
条数/页: 排序方式:
|
| 信息物理系统软件的形式建模、验证与分析 学位论文 : 大连理工大学, 2018 作者: 侯刚 收藏  |  浏览/下载:2/0  |  提交时间:2019/12/02
|
| 航空发动机气路建模及其典型部件故障诊断研究 学位论文 北京: 中国科学院研究生院, 2017 作者: 黄强 收藏  |  浏览/下载:20/0  |  提交时间:2017/06/06
|
| 一种“用例+控例”驱动的软件分析与设计方法 期刊论文 软件学报, 2013 刘春; 张伟; 赵海燕; 金芝 收藏  |  浏览/下载:3/0  |  提交时间:2015/11/12
|
| 一种用例控例驱动的软件分析与设计方法 期刊论文 软件学报, 2013, 卷号: 024, 期号: 004, 页码: 675 作者: 刘春; 张伟; 赵海燕; 金芝 收藏  |  浏览/下载:17/0  |  提交时间:2020/01/10 |
| 基于TPM的运行时软件可信证据收集机制 期刊论文 软件学报, 2010 古亮; 郭耀; 王华; 邹艳珍; 谢冰; 邵维忠 收藏  |  浏览/下载:1/0  |  提交时间:2015/11/11
|
| 多粒度多维度软件过程度量和改进方法研究 学位论文 硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009 姜楠 收藏  |  浏览/下载:17/0  |  提交时间:2010/03/05
|
| 基于可信计算的度量验证关键技术研究 学位论文 硕士, 北京 中国科学院软件研究所: 中国科学院研究生院, 2009 徐梓耀 收藏  |  浏览/下载:11/0  |  提交时间:2009/06/12
|
| 软件可信复杂性及其动力学统计分析方法 其他 2009-01-01 郑志明; 马世龙; 李未; 姜鑫; 韦卫; 马丽丽; 唐绍婷 收藏  |  浏览/下载:1/0  |  提交时间:2017/12/03
|
| 一种支持软件资源可信评估的框架 其他 2009-01-01 蔡斯博; 邹艳珍; 邵凌霜; 谢冰; 邵维忠 收藏  |  浏览/下载:1/0  |  提交时间:2015/11/12
|
| 基于TPM的运行时软件可信证据收集机制 其他 2009-01-01 古亮; 郭耀; 王华; 邹艳珍; 谢冰; 邵维忠 收藏  |  浏览/下载:1/0  |  提交时间:2015/11/12
|