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

Search Results

Help

Item hits: (Results 1-3 of 3)

Items/Page:    Sort:
组合优化问题简约与算法推演 [期刊论文]
Journal of Software, 2011-01-01, 卷号: 22, 期号: 9, 页码: 1985-1993
郑宇军; 薛锦云; 凌海风

 
时间符号迁移图上的可达性分析 [期刊论文]
计算机学报, 2003-01-01, 卷号: 26, 期号: 1, 页码: 19-25
陈靖
  |  
 
经典BLP安全公理的一种适应性标记实施方法及其正确性 [期刊论文]
计算机研究与发展, 2001-01-01, 卷号: 38, 期号: 11, 页码: 1366-1372
石文昌; 孙玉芳; 梁洪亮
  |  
 

1

 

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