Interaction detection in configurable systems - A formal approach featuring roles

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz. Interaction detection in configurable systems - A formal approach featuring roles. Journal of Systems and Software, 196:111556, 2023. [doi]

Abstract

Abstract is missing.