Research Article

A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking

Figure 11

Temperature awareness.