2018
Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.
[DOI]
Linda Herrmann
,
Christel Baier
,
Christof Fetzer
,
Sascha Klüppelholz
,
Markus Napierkowski
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018