首页期刊浏览 2024年11月29日星期五

登录注册

全文

	有全文链接	2篇
	有本地全文	1篇

出版年度

	2022	1篇
	2021	1篇
	2016	1篇

作者

	Dianfu Ma	3篇
	Yu Tan	2篇
	Lei Qiao	1篇
	Xuejun Zhang	1篇
	Yan Zhang	1篇

	Yongwang Zhao	1篇
	Zhoujun Li	1篇

来源期刊

	IOP Conference Series: Earth and Environmental Science	1篇
	Journal of Software	1篇
	Scientific Programming	1篇

学科主题

	环境科学、安全科学	1篇
	程序设计、软件工程	1篇
	计算机软件	1篇

语种

英文

3篇

国别/地区

	英国	2篇
	芬兰	1篇

检索条件:"( ( 高级检索(( ((AU:(("Dianfu Ma")))) )) ) )"

共 3 条记录

排序：全选导出：

1.A Model Guided Security Analysis Approach for Android Applications

作　　者：Yan Zhang ;Zhoujun Li ;Dianfu Ma

出　　处：Journal of Software. 2016 ;11(7):677-684.doi:10.17706/jsw.11.7.677-684

出版社：Academy Publisher

文章 ID：264867933

文章详细全文下载
2.Towards Formal Specification for AADL with Behavior Annex in Isabelle

作　　者：Yu Tan ;Dianfu Ma ;Lei Qiao

出　　处：IOP Conference Series: Earth and Environmental Science. 2021 ;769(4).doi:10.1088/1755-1315/769/4/042016

出版社：IOP Publishing

文章 ID：1032582490

文章详细
3.A Comprehensive Formalization of AADL with Behavior Annex

作　　者：Yu Tan ;Yongwang Zhao ;Dianfu Ma 等

出　　处：Scientific Programming. 2022 ;2022.doi:10.1155/2022/2079880

出版社：Hindawi Publishing Corporation

文章 ID：1038130761

文章详细

1

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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