Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

10 Citations (Scopus)

Access to Document

@inproceedings{9e6fb312b54a4acb9d7d0023102392ba,

title = "Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking",

author = "Christel Baier and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Linda Leuschner",

year = "2014",

doi = "10.1007/978-3-319-07734-5\_2",

language = "English",

pages = "20--39",

booktitle = "Petri Nets",

}