Login / Signup
Verification and Validation of a Knowledge-based System.
Jean-Marc Desharnais
Alain Abran
André Mayers
Julien Vilz
François Gruselin
Published in:
Künstliche Intell. (2004)
Keyphrases
</>
model checking
face verification
real world
feature selection
formal analysis
verification method
concurrent systems
database
genetic algorithm
artificial intelligence
computer vision
website
case study
signature verification
model validation