Publication Date:
2012
abstract:
We demonstrate an experimental tool for modelling and analysing (behavioural) variability in product families modelled as Modal Transition Systems (MTSs).
Iris type:
04.02 Abstract in Atti di convegno
Keywords:
Product family; Variability; Temporal logic; Model checking
List of contributors: