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

Search Results

Help

Item hits: (Results 1-1 of 1)

Filters        
Items/Page:    Sort:
一种面向标准评估的高保证安全操作系统开发方法 [会议论文]
中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会, 青岛, 2006
袁春阳; 贺也平; 石文昌; 梁洪亮; 商青华
  |  
 

1

 

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