cfaed Publications
Probabilistic model checking for energy-utility analysis
Reference
Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich, "Probabilistic model checking for energy-utility analysis", Chapter in Horizons of the Mind. A Tribute to Prakash Panangaden, Springer, pp. 96–123, 2014. [doi]
Bibtex
@incollection{baier2014probabilistic,
title={Probabilistic model checking for energy-utility analysis},
author={Baier, Christel and Dubslaff, Clemens and Klein, Joachim and Kl{\"u}ppelholz, Sascha and Wunderlich, Sascha},
booktitle={Horizons of the Mind. A Tribute to Prakash Panangaden},
pages={96--123},
year={2014},
publisher={Springer},
doi={10.1007/978-3-319-06880-0_5}
}
title={Probabilistic model checking for energy-utility analysis},
author={Baier, Christel and Dubslaff, Clemens and Klein, Joachim and Kl{\"u}ppelholz, Sascha and Wunderlich, Sascha},
booktitle={Horizons of the Mind. A Tribute to Prakash Panangaden},
pages={96--123},
year={2014},
publisher={Springer},
doi={10.1007/978-3-319-06880-0_5}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=54