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

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
基于行为约束传播的并发系统状态空间约简方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-26
王志江
  |  
 
认知无线电通信控制系统并发属性验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-25
范林林
  |  
 
带参并发系统的模型检测 [学位论文]
硕士, 中科院软件所: 中科院研究生院, 2009-06-03
潘宏
  |  
 
时态逻辑形式化描述并发系统性质 [期刊论文]
海军工程大学学报, 2004-01-01, 卷号: 16, 期号: 5, 页码: 2'10-13
肖美华; 薛锦云
  |  
 
基于SPIN/Promela的并发系统验证 [期刊论文]
计算机科学, 2004-01-01, 卷号: 31, 期号: 8, 页码: 201-203,208
肖美华; 薛锦云
  |  
 

1

 

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