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