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

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list