Login / Signup

Evaluating the use of model-based requirements verification method: A feasibility study.

Daniel AceitunaHyunsook DoGursimran Singh WaliaSeok-Won Lee
Published in: EmpiRE (2011)
Keyphrases
  • verification method
  • database
  • databases
  • collaborative learning
  • empirical studies
  • temporal logic
  • neural network
  • information retrieval
  • image processing