A Formal Model for Optimal Autonomous Task Hibernation in Constrained Embedded Systems.

Carlo Brandolese, William Fornaciari, Luigi Rucco

Browse the full DSD paper archive.