Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking.

Abdoulaye Gamati, Gilles Sassatelli, Marius Mikucionis

Browse the full DATE paper archive.