![](/img/cover-not-exists.png)
Verification of Power-Management Specification at Early Stages of Power-Constrained Systems Design
Macko, Dominik, Jelemenská, Katarína, Čičák, PavelVolume:
26
Language:
english
Journal:
Journal of Circuits, Systems and Computers
DOI:
10.1142/S0218126617400023
Date:
August, 2017
File:
PDF, 1003 KB
english, 2017