Using mCRL2 for the analysis of software product lines.

Maurice H. ter Beek Erik P. de Vink

Published in: FormaliSE (2014)

Keyphrases

software product line
data analysis
statistical analysis
future directions
databases
decision making
case study
statistically significant
life cycle
goal driven