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