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

Search Results

Help

Item hits: (Results 1-10 of 40)

Items/Page:    Sort:
安全攸关嵌入式系统代码自动生成技术研究 [学位论文]
博士, 北京: 中国科学院大学, 2018-05-21
严高高
  |  
 
面向个人自组织网络的硬件资源管理的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-26
方亚芬
  |  
 
基于微内核架构的进程通信恢复机制研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-26
孙可钦
  |  
 
CTCS-3级列车运行控制系统的形式建模 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-30
权曌
  |  
 
生成诊断公式的有限状态进程等价验证 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 2, 页码: 344-347
李明
  |  
 
基于过程模型随机仿真的TDD模块选取建模方法研究 [期刊论文]
计算机应用研究, 2010-01-01, 期号: 8, 页码: 2948-2952,2958
苏峰; 翟健; 杨秋松
  |  
 
模态逻辑公式为见证的互模拟等价判定 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009-05-20
李明
  |  
 
Formalization and specification for controlling process modularity in mobile computing [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-06-05
Takashi KITAMURA
  |  
 
基于状态空间的无界Petri网分析技术 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-05-28
江波
  |  
 
Isabelle在分析安全操作系统状态机模型中的应用 [期刊论文]
计算机工程与设计 , 2008-01-01, 卷号: 29, 期号: 3, 页码: 580-582, 730
陈坤; 贺也平
  |  
 

1 2 3 4 next

 

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