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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS [期刊论文]
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013-01-01, 卷号: 24, 期号: 4, 页码: 419-444
Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng

 
cp-abe scheme supporting fully fine-grained attribute revocation [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2012-01-01, 卷号: 23, 期号: 10, 页码: 2805-2816
Wang Peng-Pian; Feng Deng-Guo; Zhang Li-Wu

 
hybrid algorithms for hardware/software partitioning and scheduling on reconfigurable devices [期刊论文]
Mathematical and Computer Modelling, 2012-01-01, 页码: -
Liu Peng; Wu Jigang; Wang Yongji

 
trcbc: another look at cbc-mac [期刊论文]
Information Processing Letters, 2012-01-01, 卷号: 112, 期号: 7, 页码: 302-307
Zhang Liting; Wu Wenling; Wang Peng; Liang Bo
  |  
 
cbcr: cbc mac with rotating transformations [期刊论文]
SCIENCE CHINA-INFORMATION SCIENCES, 2011-01-01, 卷号: 54, 期号: 11, 页码: 2247-2255
Zhang LiTing; Wu WenLing; Zhang Lei; Wang Peng

 
一种基于模型的并发系统测试目的描述 [期刊论文]
计算机工程与应用, 2007-01-01, 卷号: 43, 期号: 25, 页码: 105-110
刘大光; 林惠民; 吴鹏
  |  
 
model-based testing of concurrent programs with predicate sequencing constraints [期刊论文]
World Scientific Publishing Co. Pte Ltd, 2006-01-01, 卷号: 16, 期号: 5, 页码: 727-746
Wu Peng; Lin Huimin
  |  
 
关于蜕变测试和特殊用例测试的实例研究 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 7, 页码: 1210-1220
吴鹏; 施小纯; 唐江峻; 林惠民; 陈宗岳
  |  
 

1

 

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