Evaluating the Use of Model-Based Requirement Verification Method: An Empirical Study.

Munmun Gupta Daniel Aceituna Gursimran S. Walia Hyunsook Do

Published in: SEKE (2014)

Keyphrases

verification method
model checking
temporal logic
color images
viewpoint
model free
automatic evaluation
neural network
feature extraction
computer science
digital images