Energy Consumption Analysis and Verification by Transformation into Horn Clauses and Abstract Interpretation
2017 ◽
Vol 253
◽
pp. 4-6
Keyword(s):
Keyword(s):
2021 ◽
Vol 647
◽
pp. 012190
2017 ◽
Vol 90
(8-9)
◽
pp. 1191-1204
◽
Keyword(s):
2015 ◽
Vol 32
(4)
◽
pp. 260-272
◽