1. A Formal Model for Performance and Energy Evaluation of Embedded Systems. (29th September 2010) Authors: Nogueira, Bruno; Maciel, Paulo; Tavares, Eduardo; Andrade, Ermeson; Massa, Ricardo; Callou, Gustavo; Ferraz, Rodolfo Other Names: Bruckner 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) ↗