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

Search Results

Help

Item hits: (Results 1-9 of 9)

Filters    
Items/Page:    Sort:
对两个改进的BLP模型的分析 [期刊论文]
软件学报, 2007-01-01, 期号: 6, 页码: 1501-1509
何建波; 卿斯汉; 王超
  |  
 
Petri网共享PP-型子网合成性质分析 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 1
夏传良; 焦莉; 陆维明
  |  
 
Petri网精细化操作及其在系统设计中的应用 [期刊论文]
软件学报, 2006-01-01, 期号: 1, 页码: 11-19
夏传良; 焦莉; 陆维明
  |  
 
Petri网精细化操作及其在系统设计中的应用 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 1
夏传良; 焦莉; 陆维明
  |  
 
一个安全标记公共框架的设计与实现 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 3, 页码: 547-552
梁洪亮; 孙玉芳; 赵庆松; 张相锋; 孙波
  |  
 
可分解非对称选择网的活性和有界性 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 11
徐静; 陆维明
  |  
 
加权非对称选择网活性和有界性分析 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 12
焦莉; 陆维明
  |  
 
非对称选择网活性的一个多项式时间判定 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 3
焦莉; 陆维明
  |  
 
扩展强化非对称选择网的活性和有界性 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 9
焦莉; 陆维明
  |  
 

1

 

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