|
[CDKB+18]
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz and Christel Baier.
ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking.
Formal Aspects of Computing, volume, 30(1), pages 45-75.
2018.
[Presents the ProFeat tool for feature-oriented modelling and feature-aware analysis, incorporating PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|