arrow
返回
D

Dianfu Ma

Beihang University

12H指数
147论文数
645被引数
收录论文 6
发表时间
err分享
err收藏
Formal Verification of Behavioral AADL Models by Stateful Timed CSP
err2017-01-01
err9
errOAAI
errZhang, Feng; Zhao, Yongwang; Ma, Dianfu; Niu, Wensheng
err分享
err收藏
Towards a verified compiler prototype for the synchronous language SIGNAL
err2015-11-11
err12
errOAAI
errYang, Zhibin; Bodeveix, Jean-Paul; Filali, Mamoun; Hu, Kai; Zhao, Yongwang; Ma, Dianfu
err分享
err收藏
From AADL to Timed Abstract State Machines: A verified model transformation
err2014-07-01
err43
errOAAI
errYang, Zhibin; Hu, Kai; Ma, Dianfu; Bodeveix, Jean-Paul; Pi, Lei; Talpin, Jean-Pierre
err分享
err收藏
MIAPS: A web-based system for remotely accessing and presenting medical images
err2014-01-01
err28
PREAI
errShen, Hualei; Ma, Dianfu; Zhao, Yongwang; Sun, Hailong; Sun, Sujun; Ye, Rongwei; Huang, Lei; Lang, Bo; Sun, Yan
err分享
err收藏
Development of global specification for dynamically adaptive software
err2013-02-01
err4
PREAI
errZhao, Yongwang; Li, Zhuqing; Shen, Hualei; Ma, Dianfu
err分享
err收藏