中国科学院机构知识库网格系统: 检索

基于JavaEE的可复用管理信息系统的设计与实现 学位论文 OAI收割
硕士, 北京: 中国科学院研究生院, 2014
丁亮

|

收藏 | 浏览/下载：16/0 | 提交时间：2014/05/29

SRLtoRadl生成系统及其范畴论语义 期刊论文 OAI收割
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

|

收藏 | 浏览/下载：32/0 | 提交时间：2014/12/16

时间自动机模型检测具体反例的生成与图形化显示 学位论文 OAI收割
硕士, 北京: 中国科学院研究生院, 2013
信贤卫

|

收藏 | 浏览/下载：14/0 | 提交时间：2013/05/31

基于DSL的装备保障领域建模 期刊论文 OAI收割
计算机工程, 2008, 卷号: 34, 期号: 2, 页码: 66-68,71
王金全; 郑宇军; 王侃

收藏 | 浏览/下载：113/6 | 提交时间：2011/06/10

硕士论文-Quattor模板自动生成系统设计与实现 学位论文 OAI收割
硕士, 北京: 中国科学院研究生院, 2008
作者: 翁云剑

收藏 | 浏览/下载：31/0 | 提交时间：2015/10/12

Quattor模板自动生成系统 期刊论文 OAI收割
计算机工程, 2008, 期号: 24, 页码: 258-260
作者: 翁云剑; 蒋卓明; 樊滑翔; 梁栋; 孙功星

收藏 | 浏览/下载：19/0 | 提交时间：2015/12/15

一种基于时间自动机的实时系统测试方法 期刊论文 OAI收割
软件学报, 2007, 卷号: 18, 期号: 1, 页码: 62-73
陈伟; 薛云志; 赵琛; 李明树

|

收藏 | 浏览/下载：15/0 | 提交时间：2010/07/05

数字电路测试压缩方法研究 期刊论文 OAI收割
中国科学院研究生院学报, 2007, 卷号: 24.0, 期号: 006, 页码: 847
作者: HAN YinHe; LI XiaoWei

|

收藏 | 浏览/下载：1/0 | 提交时间：2023/12/04

笔式交互系统的最终用户开发方法 学位论文 OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2006
秦严严

收藏 | 浏览/下载：21/0 | 提交时间：2011/03/17

面向对象的实时系统可调度性验证和代码生成技术研究 学位论文 OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
舒国强

收藏 | 浏览/下载：15/0 | 提交时间：2011/03/17