A model-based framework for software portability and verification in embedded power management systems.
Asieh Salehi FathabadiMichael J. ButlerSheng YangLuis Alfonso Maeda-NunezJames R. B. BantockBashir M. Al-HashimiGeoff V. MerrettPublished in: J. Syst. Archit. (2018)