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

Item hits: (Results 1-3 of 3)

Items/Page: Sort:
	An integrated framework of formal methods for interaction behaviors among industrial equipments [期刊论文] MICROPROCESSORS AND MICROSYSTEMS, 2015-01-01, 卷号: 39, 期号: 8, 页码: 1296-1304 Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS \|
	making the key agreement protocol in mobile ad hoc network more efficient [会议论文] 1st International Conference on Applied Cryptography and Network Security, KUNMING, PEOPLES R CHINA, OCT 16-19, Yao G; Ren K; Bao F; Deng RH; Feng DG \|
	the efficiency of various multimodal input interfaces evaluated in two empirical studies [期刊论文] IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2001-01-01, 卷号: E84D, 期号: 10, 页码: 1421-1426 Ren XS; Zhang G; Dai GZ


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