cfaed Publications

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance

Reference

Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski, "Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance" , In Proceeding: European Workshop on Performance Engineering, pp. 78–93, 2018.

Bibtex

@inproceedings{herrmann2018formal,
title={Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance},
author={Herrmann, Linda and Baier, Christel and Fetzer, Christof and Kl{\"u}ppelholz, Sascha and Napierkowski, Markus},
booktitle={European Workshop on Performance Engineering},
pages={78--93},
year={2018},
organization={Springer}
}

Downloads

No Downloads available for this publication

Related Paths

Resilience Path

Permalink

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


Go back to publications list