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},
}
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