Dmitriy Shorin, Armin Zimmermann. Formal description of an approach for power consumption estimation of embedded systems. In 24th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS), Palma de Mallorca, Spain, September 29 - Oct. 1, 2014. pages 1-10, IEEE, 2014. [doi]
Abstract is missing.