已选(0)清除
条数/页: 排序方式:
|
| 嵌入式软件形式化建模方法 期刊论文 计算机工程与应用, 2018, 卷号: 54, 页码: 61-71,118 作者: 潘杰; 渡边政彦; 周宽久; 梁浩然; 崔凯
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/12/03
|
| 基于状态变迁矩阵的软件可靠性建模方法研究 学位论文 : 大连理工大学, 2017 作者: 潘杰
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2019/12/03
|
| 基于模型检测的软件可靠性验证方法 学位论文 : 大连理工大学, 2014 作者: 王小龙
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/11
|
| 关中-天水经济区土地利用变化模拟预测及景观格局动态变化 期刊论文 干旱区地理, 2013, 期号: 3, 页码: 482-490 解修平; 周杰; 张海龙; 张秋义; 刘小强
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:18/0  |  提交时间:2015/01/05
|
| 基于极小T-不变量增加的Petri网可达性分析 学位论文 硕士, 北京: 中国科学院研究生院, 2010 彭建兵
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:14/0  |  提交时间:2010/06/06
|
| 基于极小T-不变量增加的Petri网可达性分析 学位论文 硕士, 北京: 中国科学院研究生院, 2010 彭建兵
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:16/0  |  提交时间:2010/06/06
|
| 基于极小T-不变量增加的Petri网可达性分析 期刊论文 计算机应用研究, 2010, 卷号: 27, 期号: 10, 页码: 3798-3802 彭建兵; 焦莉
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2011/05/23
|