Ter Beek M H
Product family Variability Temporal logic Model checking
We demonstrate an experimental tool for modelling and analysing (behavioural) variability in product families modelled as Modal Transition Systems (MTSs).
@inproceedings{oai:it.cnr:prodotti:215297, title = {The Variability Model Checker VMC.}, author = {Ter Beek M H}, year = {2012} }