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

Search Results

Help

Item hits: (Results 1-2 of 2)

Items/Page:    Sort:
基于体系结构能耗建模的CPS软件可信性评估方法 [期刊论文]
电子学报, 2013-01-01, 期号: 11, 页码: 2270-2275
张广泉; 张侃; 祝义; 周航

 
基于概率模型检测的Web服务组合验证 [期刊论文]
计算机科学, 2012-01-01, 卷号: 39, 期号: 1, 页码: 120-123
王晶; 戎玫; 张广泉; 祝义
  |  
 

1

 

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