Login / Signup

Software product line analysis with mCRL2.

Maurice H. ter BeekErik P. de Vink
Published in: SPLC Workshops (2014)
Keyphrases
  • real time
  • data analysis
  • software product line
  • database
  • artificial intelligence
  • decision making
  • case study
  • database systems
  • similarity measure
  • statistical analysis
  • microarray
  • future directions