Formal Verification of Hardware / Software Power Management Strategies
2015 ◽
Vol 40
(1)
◽
pp. 538-548
◽
Keyword(s):
2006 ◽
Vol 21
(4)
◽
pp. 1821-1831
◽
2018 ◽
Vol 8
(3)
◽
pp. 1345
◽
Keyword(s):
2015 ◽
Vol 40
(32)
◽
pp. 9907-9916
◽
Keyword(s):
2018 ◽
Vol 232
(8)
◽
pp. 1053-1062
◽
2018 ◽
Vol 96
◽
pp. 132-144
◽