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

Item hits: (Results 1-8 of 8)

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 吴鹏; 施小纯; 唐江峻; 林惠民; 陈宗岳 \|


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