首页期刊浏览 2024年12月02日星期一

登录注册

全文

有本地全文

2篇

出版年度

2015

2篇

作者

	Zimao Li	2篇
	Bo Meng	1篇
	Dejun Wang	1篇
	Wei Chen	1篇
	Wenying Xiao	1篇

来源期刊

	International Journal of Distributed Sensor Networks	1篇
	Journal of Software Engineering	1篇

学科主题

	计算机	1篇
	计算机网络	1篇

语种

英文

2篇

国别/地区

	印度尼西亚	1篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Zimao Li")))) )) ) )"

共 2 条记录

排序：全选导出：

1.Mechanized Verification of Cryptographic Security of Cryptographic Security Protocol Implementation in JAVA through Model Extraction in the Computational Model

作　　者：Zimao Li ;Bo Meng ;Dejun Wang 等

出　　处：Journal of Software Engineering. 2015 ;9(1):1-32.doi:10.3923/jse.2015.1.32

出版社：Academic Journals Inc., USA

文章 ID：96706773

文章详细全文下载
2.Determining Sensor Locations in Wireless Sensor Networks

作　　者：Zimao Li ;Wenying Xiao

出　　处：International Journal of Distributed Sensor Networks. 2015 ;2015.doi:10.1155/2015/914625

出版社：Hindawi Publishing Corporation

文章 ID：112821771

文章详细全文下载

1

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有