科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
专利缴费
专利查询
未登录
返回
D
Dianfu Ma
Beihang University
12
H指数
147
论文数
645
被引数
0
相关解读
订阅
收录论文
6
发表时间
发表时间
IF
被引数
A survey on formal specification and verification of separation kernels
FRONTIERS OF COMPUTER SCIENCE
IF
4.6
2017-01-11
11
PRE
AI
Zhao, Yongwang; Yang, Zhibin; Ma, Dianfu
分享
收藏
Formal Verification of Behavioral AADL Models by Stateful Timed CSP
IEEE ACCESS
IF
3.6
2017-01-01
9
OA
AI
Zhang, Feng; Zhao, Yongwang; Ma, Dianfu; Niu, Wensheng
分享
收藏
Towards a verified compiler prototype for the synchronous language SIGNAL
FRONTIERS OF COMPUTER SCIENCE
IF
4.6
2015-11-11
12
OA
AI
Yang, Zhibin; Bodeveix, Jean-Paul; Filali, Mamoun; Hu, Kai; Zhao, Yongwang; Ma, Dianfu
分享
收藏
From AADL to Timed Abstract State Machines: A verified model transformation
JOURNAL OF SYSTEMS AND SOFTWARE
IF
4.1
2014-07-01
43
OA
AI
Yang, Zhibin; Hu, Kai; Ma, Dianfu; Bodeveix, Jean-Paul; Pi, Lei; Talpin, Jean-Pierre
分享
收藏
MIAPS: A web-based system for remotely accessing and presenting medical images
COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE
IF
4.8
2014-01-01
28
PRE
AI
Shen, Hualei; Ma, Dianfu; Zhao, Yongwang; Sun, Hailong; Sun, Sujun; Ye, Rongwei; Huang, Lei; Lang, Bo; Sun, Yan
分享
收藏
Development of global specification for dynamically adaptive software
COMPUTING
IF
2.8
2013-02-01
4
PRE
AI
Zhao, Yongwang; Li, Zhuqing; Shen, Hualei; Ma, Dianfu
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
胡
胡凯
(Kai Hu)
H 指数: 34 · 论文数: 411
Z
Zhuqing Li
H 指数: 33 · 论文数: 188
R
Rongwei Ye
H 指数: 29 · 论文数: 161
B
Bo Lang
H 指数: 29 · 论文数: 237
H
Hailong Sun
H 指数: 26 · 论文数: 233
查看更多