Login / Signup

Demonstration of a model checker for the analysis of product variability.

Maurice H. ter BeekStefania GnesiFranco Mazzanti
Published in: SPLC (2) (2012)
Keyphrases
  • image analysis
  • data analysis
  • relational databases
  • dynamic programming
  • fuzzy logic