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

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters    
Items/Page:    Sort:
可信平台模块的形式化分析和测试 [期刊论文]
计算机学报, 2009-01-01, 期号: 4, 页码: 646-653
陈小峰
  |  
 
一致性测试中的时间约束及测试用例生成算法 [期刊论文]
西安交通大学学报, 2006-01-01, 卷号: 40, 期号: 4, 页码: 381-385
赵保华; 柯尧
  |  
 
分布事务服务的一致性测试 [期刊论文]
计算机工程, 2004-01-01, 卷号: 30, 期号: 11, 页码: 48-49,100
许畅; 金蓓弘
  |  
 

1

 

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