中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
基于整数时间的实时系统符号化模型检测技术 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-02
晏荣杰
  |  
 
离散时间自动机模型检测工具的设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-02
张文亮
  |  
 
OnceDI中语义数据集成支持工具的设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-02
余霞
  |  
 
BPEL引擎事务处理框架的设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-02
孟阳
  |  
 
OnceAS EJB3轻量级组件容器的设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-02
鲁红金
  |  
 
面向RFID应用的发布/订阅系统研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-02
余双
  |  
 
面向门户的开发平台设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-02
蒋友毅
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace