| Original language | English |
|---|---|
| Title of host publication | MODULARITY |
| Pages | 169-180 |
| Number of pages | 12 |
| DOIs | |
| Publication status | Published - 2014 |
Probabilistic model checking for energy analysis in software product lines
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
33
Citations
(Scopus)