Figure 9From: A Formal Model for Performance and Energy Evaluation of Embedded Systems Bubblesort algorithm. Back to article page