Energy-Utility Quantiles
| Title | Energy-Utility Quantiles |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Baier, C, Daum, M, Dubslaff, C, Klein, J, Klüppelholz, S |
| Conference Name | Proc. of the 6th NASA Formal Methods Symposium (NFM) |
| Publisher | Springer |
Work Package:
WP1
