Probabilistic Model Checking for Feature-oriented Systems
| Title | Probabilistic Model Checking for Feature-oriented Systems |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Dubslaff, C, Baier, C, Klüppelholz, S |
| Journal | Transactions on Aspect-Oriented Software Development |
| Volume | 12 |
| Pagination | 180–220 |
Work Package:
WP1
