cfaed Publications

Probabilistic Model Checking for Energy Analysis in Software Product Lines

Reference

Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "Probabilistic Model Checking for Energy Analysis in Software Product Lines" , In Proceeding: Proc. of the 13th International Conference on Modularity (MODULARITY), ACM, pp. 169–180, 2014.

Bibtex

@inproceedings{DKB14_MODULARITY,
author={Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Christel Baier},
title={Probabilistic Model Checking for Energy Analysis in Software Product Lines},
booktitle={Proc. of the 13th International Conference on Modularity (MODULARITY)},
year={2014},
pages={169--180},
publisher={ACM},
ee={http://doi.acm.org/10.1145/2577080.2577095},
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=66


Go back to publications list