Editorial: special issue on verification and validation.

Robert Plant Alun D. Preece

Published in: Int. J. Hum. Comput. Stud. (1996)

Keyphrases

special issue
international journal
ai edam
ecml pkdd
applied intelligence
model checking
formal methods
signature verification
formal verification
verification method
machine learning
special section
data analysis
face verification