|
已选(0)清除
条数/页： 排序方式：
|
| 一种基于组件的信息物理系统描述语言 学位论文
硕士, 北京: 中国科学院大学, 2017
作者: 时雨霖
  收藏 | 浏览/下载：21/0 | 提交时间：2017/07/08
|
| DAE系统中两类指标约简修正算法的研究与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
饶锴
收藏 | 浏览/下载：15/0 | 提交时间：2010/06/07
|
| 带时间约束的LTL公式的模型检测技术及工具实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
部德振
收藏 | 浏览/下载：14/0 | 提交时间：2010/06/08
|
| 一种在全球软件开发环境下基于交流成本的任务调度方法 学位论文
硕士, 北京: 中国科学院研究生院, 2010
钟南海
收藏 | 浏览/下载：5/0 | 提交时间：2010/06/03
|
| 组件化软件过程建模与分析方法研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
翟健
收藏 | 浏览/下载：9/0 | 提交时间：2010/01/25
|
| Modelica建模软件中求强连通分量与拓扑排序算法优化的研究 学位论文
硕士, 软件所5号楼336: 并行计算中心, 2009
魏欣
收藏 | 浏览/下载：8/0 | 提交时间：2009/07/04 |
| 时间自动机关于LTL性质的符号化模型检测工具及其改进 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
魏绪凯
收藏 | 浏览/下载：17/0 | 提交时间：2009/06/14 |
| 基于最终用户开发的表格数据分析关键技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：8/0 | 提交时间：2009/06/12
|
| 普适环境下服务发现的语义支持机制 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
李玉明
收藏 | 浏览/下载：18/0 | 提交时间：2011/03/17
|
| 具有严格操作语义的图形化软件过程建模研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
杨秋松
收藏 | 浏览/下载：14/0 | 提交时间：2011/03/17
|
