|
已选(0)清除
条数/页： 排序方式：
|
| 信息物理系统软件的形式建模、验证与分析 学位论文
: 大连理工大学, 2018
作者: 侯刚
  收藏 | 浏览/下载：2/0 | 提交时间：2019/12/02
|
| 航空发动机气路建模及其典型部件故障诊断研究 学位论文
北京: 中国科学院研究生院, 2017
作者: 黄强
收藏 | 浏览/下载：19/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
徐梓耀
收藏 | 浏览/下载：10/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
|
