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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
simple power analysis attacks using chosen message against ecc hardware implementations [会议论文]
World Congress on Internet Security, WorldCIS-2011, London, United kingdom, 2-Feb
Li Huiyun; Wu Keke; Xu Guoqing; Yuan Hai; Luo Peng
  |  
 
assume-guarantee reasoning with local specifications [会议论文]
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, 40848
Lomuscio Alessio; Strulo Ben; Walker Nigel; Wu Peng
  |  
 
symbolic test generation using a temporal logic with constrained events [会议论文]
Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25,
Liu Daguang; Wu Peng; Lin Huimin
  |  
 
symbolic bisimulations for probabilistic systems [会议论文]
4th International Conference on the Quantitative Evaluation of Systems, QEST 2007, Edinburgh, United kingdom, September
Wu Peng; Palamidessi Catuscia; Lin Huimin
  |  
 
一种基于模型的并发系统测试目的描述 [期刊论文]
计算机工程与应用, 2007-01-01, 卷号: 43, 期号: 25, 页码: 105-110
刘大光; 林惠民; 吴鹏
  |  
 
model-based testing of concurrent programs with predicate sequencing constraints [会议论文]
5th International Conference on Quality Software (QSIC 2005), Melbourne, AUSTRALIA, SEP 19-20,
Wu Peng; Lin Huimin
  |  
 
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