中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

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 吴鹏 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In