Probabilistic Model Checking for Energy Analysis in Software Product Lines. Dubslaff, C.; Klüppelholz, S.; and Baier, C. In Proc. Modularity (MODULARITY'14), pages 169–180, 2014. ACM.
Probabilistic Model Checking for Energy Analysis in Software Product Lines [link]Link  bibtex   
@inproceedings{DKB14,
	Author = {C. Dubslaff and S. Kl{\"u}ppelholz and C. Baier},
	Booktitle = {Proc. Modularity (MODULARITY'14)},
	Ee = {http://doi.acm.org/10.1145/2577080.2577095},
	Pages = {169--180},
	Publisher = {ACM},
	Title = {Probabilistic Model Checking for Energy Analysis in Software Product Lines},
	Year = {2014}}
Downloads: 0