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}
}
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
Permalink
https://cfaed.tu-dresden.de/publications?pubId=2668