|
已选(0)清除
条数/页： 排序方式：
|
| 基于本体和案例推理的汽轮发电机组故障诊断 学位论文
2019
作者: 栗宇
  收藏 | 浏览/下载：15/0 | 提交时间：2020/11/05
|
| 一种基于形式化可配置特征单元的特征模型 期刊论文
计算机应用与软件, 2018, 卷号: 第35卷 第1期, 页码: 44-51
作者: 苏浓光; 杨贯中
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/26
|
| 分区操作系统内核中隔离性质的研究 期刊论文
2016, 2016
闫鑫; 王庆生; 王生原; YAN Xin; WANG Qingsheng; WANG Shengyuan
收藏 | 浏览/下载：8/0 |
| 连续时间马尔科夫链模型上的模型检测算法研究与工具实现 学位论文
硕士, 北京: 中国科学院大学, 2013
高杨
收藏 | 浏览/下载：22/0 | 提交时间：2013/05/31
|
| SDL在空间通信协议开发中的应用 期刊论文
飞行器测控学报, 2013, 卷号: 32, 页码: 137-141
作者: 胡凯; 刘成; 刘锴
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/06
|
| 基于Petri网的语义Web服务组合模型 期刊论文
甘肃科技, 2012, 期号: 2012年09期, 页码: 26-27
作者: 梁磊; 董瑞洪
收藏 | 浏览/下载：11/0 | 提交时间：2019/11/13
|
| 一种面向Web服务源程序的谓词抽象验证方法 期刊论文
苏州大学学报(工科版), 2011, 期号: 2, 页码: 14-19
任强; 张广泉
收藏 | 浏览/下载：10/0 | 提交时间：2011/10/10
|
| 带时间约束的LTL公式的模型检测技术及工具实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
部德振
收藏 | 浏览/下载：14/0 | 提交时间：2010/06/08
|
| 笔式用户界面敏捷开发工具及其应用 学位论文
硕士, 北京: 中国科学院研究生院, 2010
华超
收藏 | 浏览/下载：7/0 | 提交时间：2010/06/04
|
| 多语种构件模型的研究与实现 期刊论文
计算机工程与应用, 2010, 期号: 14, 页码: 143-147
作者: 汪漪; 李皓; 李晓; 周俊林; 王磊
收藏 | 浏览/下载：11/0 | 提交时间：2012/11/29
|
