Formal model for system-level power management design.

Mirela Simonovic Vojin Zivojnovic Lazar Saranovac

Published in: DATE (2017)

Keyphrases

formal model
power management
artificial intelligence
design process
power consumption
response time
goal oriented
security properties