cfaed Publications

Energy-utility quantiles

Reference

Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, "Energy-utility quantiles" , Chapter in NASA Formal Methods, Springer, pp. 285–299, 2014. [doi]

Bibtex

@incollection{baier2014energy,
title={Energy-utility quantiles},
author={Baier, Christel and Daum, Marcus and Dubslaff, Clemens and Klein, Joachim and Kl{\"u}ppelholz, Sascha},
booktitle={NASA Formal Methods},
pages={285--299},
year={2014},
publisher={Springer},
doi={10.1007/978-3-319-06200-6_24}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list