A model-based framework for software portability and verification in embedded power management systems

Asieh Salehi Fathabadi, Michael J. Butler, Sheng Yang, Luis Alfonso Maeda-Nunez, James R. B. Bantock, Bashir M. Al-Hashimi, Geoff V. Merrett. A model-based framework for software portability and verification in embedded power management systems. Journal of Systems Architecture, 82:12-23, 2018. [doi]

Authors

Asieh Salehi Fathabadi

This author has not been identified. Look up 'Asieh Salehi Fathabadi' in Google

Michael J. Butler

This author has not been identified. Look up 'Michael J. Butler' in Google

Sheng Yang

This author has not been identified. Look up 'Sheng Yang' in Google

Luis Alfonso Maeda-Nunez

This author has not been identified. Look up 'Luis Alfonso Maeda-Nunez' in Google

James R. B. Bantock

This author has not been identified. Look up 'James R. B. Bantock' in Google

Bashir M. Al-Hashimi

This author has not been identified. Look up 'Bashir M. Al-Hashimi' in Google

Geoff V. Merrett

This author has not been identified. Look up 'Geoff V. Merrett' in Google