Formal modelling of feature configuration workflows.

Arnaud Hubaux Andreas Classen Patrick Heymans

Published in: SPLC (2009)

Keyphrases

formal model
formal specification
data sets
social networks
web services
case study
multi agent
expert systems
feature set
business process