Verification and validation: a consultant's perspective.

John S. Carson II

Published in: WSC (1989)

Keyphrases

viewpoint
decision support system
model checking
case study
feature extraction
digital libraries
hidden markov models
probabilistic model
formal verification
high security
concurrent systems