Contribution to Automated Generating of System Power-Management Specification.

Dominik Macko

Browse the full DDECS paper archive.