Energy-Utility Quantiles

TitleEnergy-Utility Quantiles
Publication TypeConference Paper
Year of Publication2014
AuthorsBaier, C, Daum, M, Dubslaff, C, Klein, J, Klüppelholz, S
Conference NameProc. of the 6th NASA Formal Methods Symposium (NFM)
PublisherSpringer
Work Package: 
WP1