Verification and Validation: Techniques to Assure Reliabbility - Guest Editors' Introduction.

Dolores R. Wallace Roger U. Fujii

Published in: IEEE Softw. (1989)

Keyphrases

model checking
virtual machine
verification method
formal methods
special issue
handwritten signature verification
asynchronous circuits
person identification
formal verification
face verification
multiscale
computer vision
genetic algorithm
data mining
neural network
functional verification
database