|
[CBDK23]
Philipp Chrszon, Christel Baier, Clemens Dubslaff and Sascha Klüppelholz.
Interaction detection in configurable systems – A formal approach featuring roles.
Journal of Systems and Software.
2023.
[Proposes a role-based compositional modelling framework for software systems, using a translation to the PRISM language.]
|
|
Links:
[Google]
[Google Scholar]
|