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

Search Results

Help

Item hits: (Results 11-20 of 31)

Filters        
Items/Page:    Sort:
基于状态空间的无界Petri网分析技术 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-05-28
江波
  |  
 
实时系统非空性模型检测工具及技术 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-05-28
彭云全
  |  
 
Feasibility Analysis and Design of Real-Time Systems [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-05-26
NASRO MIN ALLAH
  |  
 
Intuitionistic Linear-time µ-Calculus [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-25
Syed Asad Raza Kazmi
  |  
 
多处理器反馈控制实时调度研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-19
傅勇
  |  
 
网络安全协议形式化分析及支撑工具研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-18
肖美华

 
基于交互性Web服务构建复合应用的关键技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-17
万淑超
  |  
 
数据流管理系统中查询处理和实时调度技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-16
李新
  |  
 
安全操作系统信息流技术与安全架构研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-15
沈建军
  |  
 
高安全等级操作系统形式化开发技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-15
李丽萍
  |  
 

previous 1 2 3 4 next

 

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