Towards Automatic Code Generation of Run-Time Power Management for Embedded Systems using Formal Methods (2015)

First Author: Asieh Salehi Fathabadi
Attributed to:  PRiME: Power-efficient, Reliable, Many-core Embedded systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://eprints.soton.ac.uk/id/eprint/366747

Type: Conference/Paper/Proceeding/Abstract