Probabilistic Model Checking for Energy Analysis in Software Product Lines
| Title | Probabilistic Model Checking for Energy Analysis in Software Product Lines |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Dubslaff, C, Klüppelholz, S, Baier, C |
| Conference Name | Proc. of the 13th International Conference on Modularity (MODULARITY) |
| Publisher | ACM |
Work Package:
WP1
