Login / Signup

Verification and performance evaluation of aadl models.

Marco BozzanoAlessandro CimattiMarco RoveriJoost-Pieter KatoenViet Yen NguyenThomas Noll
Published in: ESEC/SIGSOFT FSE (2009)
Keyphrases
  • machine learning algorithms
  • statistical models
  • learning algorithm
  • decision making
  • prior knowledge
  • complex systems
  • genetic algorithm
  • search engine
  • bayesian networks
  • training set
  • generative model
  • accurate models