|
[CBDK20]
Philipp Chrszon, Christel Baier, Clemens Dubslaff and Sascha Klüppelholz.
From Features to Roles.
In Proc. 24th ACM Conference on Systems and Software Product Line (SPLC'20).
2020.
[Proposes verification techniques for feature-oriented systems, with a translation to PRISM for applying model checking.]
|
|
Links:
[Google]
[Google Scholar]
|