|
[DKB14]
Clemens Dubslaff, Sascha Klüppelholz and Christel Baier.
Probabilistic model checking for energy analysis in software product lines.
In Proc. 13th international conference on Modularity (MODULARITY'14), pages 169-180, ACM.
2014.
[Proposes a compositional modelling framework for software product lines which makes use of PRISM for analysis of system components.]
|
|
Links:
[Google]
[Google Scholar]
|