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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
可信平台模块的形式化分析和测试 [期刊论文]
计算机学报, 2009-01-01, 期号: 4, 页码: 646-653
陈小峰
  |  
 
一致性测试中的时间约束及测试用例生成算法 [期刊论文]
西安交通大学学报, 2006-01-01, 卷号: 40, 期号: 4, 页码: 381-385
赵保华; 柯尧
  |  
 
蓝牙协议的一致性和互操作性测试 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
冷小羽
  |  
 
分布事务服务的一致性测试 [期刊论文]
计算机工程, 2004-01-01, 卷号: 30, 期号: 11, 页码: 48-49,100
许畅; 金蓓弘
  |  
 
分布事务服务的设计和实现技术研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
许畅
  |  
 
Bluetooth服务发现协议的验证、实现与测试 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001-01-01
吴鹏
  |  
 

1

 

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