Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
| Title | Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Baier, C, Dubslaff, C, Klüppelholz, S, Leuschner, L |
| Conference Name | Proc. of the 35th Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS) |
| Publisher | Springer |
Work Package:
WP1
