Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
Journal Details
F
Formal Methods and Software Engineering
IF
0
Papers
2
Citations
0
Related Insights
0
subscribe
Journal Papers
2
Related Insights
0
Journal Papers
2
Publication Date
Publication Date
IF
Citations
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
formal methods and software engineering icfem
IF
0
2019-09-09
11
PRE
AI
Zhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo
Share
Save
Detecting Energy Bugs in Android Apps Using Static Analysis
FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2017
IF
0
2017-10-11
25
PRE
AI
Jiang, Hao; Yang, Hongli; Qin, Shengchao; Su, Zhendong; Zhang, Jian; Yan, Jun
Share
Save
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}