Early-stage verification of power-management specification in low-power systems design.

Dominik Macko, Katarna Jelemensk, Pavel Cick

Browse the full DDECS paper archive.