1. A Formal Model for Performance and Energy Evaluation of Embedded Systems. (29th September 2010) Authors: Nogueira Nogueira, Bruno Bruno; Maciel Maciel, Paulo Paulo; Tavares Tavares, Eduardo Eduardo; Andrade Andrade, Ermeson Ermeson; Massa Massa, Ricardo Ricardo; Callou Callou, Gustavo Gustavo; Ferraz Ferraz, Rodolfo Rodolfo Other Names: Bruckner Bruckner Dietmar Dietmar Academic Editor. Journal: EURASIP journal on embedded systems Issue: Volume 2011(2011) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗