cfaed Publications

Energy-utility analysis for resilient systems using probabilistic model checking

Reference

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner, "Energy-utility analysis for resilient systems using probabilistic model checking" , Chapter in Application and Theory of Petri Nets and Concurrency, Springer, pp. 20–39, 2014. [doi]

Bibtex

@incollection{baier2014energy,
title={Energy-utility analysis for resilient systems using probabilistic model checking},
author={Baier, Christel and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and Leuschner, Linda},
booktitle={Application and Theory of Petri Nets and Concurrency},
pages={20--39},
year={2014},
publisher={Springer},
doi={10.1007/978-3-319-07734-5_2}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list