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

Search Results

Help

Item hits: (Results 1-9 of 9)

Items/Page:    Sort:
Automatic GUI Test by Using SIFT Matching [期刊论文]
CHINA COMMUNICATIONS, 2016-01-01, 卷号: 13, 期号: 9, 页码: 227-236
Fang, XX; Sheng, B; Li, P; Wu, D; Wu, EH

 
一种基于模型的并发系统测试目的描述 [期刊论文]
计算机工程与应用, 2007-01-01, 卷号: 43, 期号: 25, 页码: 105-110
刘大光; 林惠民; 吴鹏
  |  
 
hctr: a variable-input-length enciphering mode [会议论文]
1st SKLOIS Conference on Information Security and Cryptology, Beijing, PEOPLES R CHINA, DEC 15-17,
Wang P; Feng DG; Wu WL
  |  
 
on the security of tweakable modes of operation: tbc and tae [会议论文]
8th International Conference on Information Security, Singapore, SINGAPORE, SEP 20-23,
Wang P; Feng DG; Wu WL
  |  
 
compositional modelling and verification of ipv6 mobility [会议论文]
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Wu P; Zhang DM
  |  
 
analyzing interoperability of protocols using model checking [期刊论文]
CHINESE JOURNAL OF ELECTRONICS, 2005-01-01, 卷号: 14, 期号: 3, 页码: 453-457
Wu P
  |  
 
关于蜕变测试和特殊用例测试的实例研究 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 7, 页码: 1210-1220
吴鹏; 施小纯; 唐江峻; 林惠民; 陈宗岳
  |  
 
compositional analysis of mobile ip with symbolic transition graphs [会议论文]
16th International Conference on Computer Communication (ICCC 2004), Beijing, PEOPLES R CHINA, SEP 15-17,
Wu P; Zhang DM
  |  
 
Bluetooth服务发现协议的验证、实现与测试 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001-01-01
吴鹏
  |  
 

1

 

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