logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
F

Formal Methods and Software Engineering

IF0
论文数2
被引数0
期刊论文 2
发表时间
delete
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
deleteformal methods and software engineering icfem
IF0
delete2019-09-09
delete11
PREAI
deleteZhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo
delete分享
delete收藏
Detecting Energy Bugs in Android Apps Using Static Analysis使用静态分析检测Android应用程序中的能源漏洞
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2017
IF0
delete2017-10-11
delete25
PREAI
deleteJiang, Hao; Yang, Hongli; Qin, Shengchao; Su, Zhendong; Zhang, Jian; Yan, Jun
delete分享
delete收藏