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

Item hits: (Results 1-8 of 8)

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


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