Probabilistic model checking for energy analysis in software product lines

Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

31 Citations (Scopus)
Original languageEnglish
Title of host publicationMODULARITY
Pages169-180
Number of pages12
DOIs
Publication statusPublished - 2014

Cite this