Verification and validation of physiology simulators.

Johannes H. van Oostrom Hillary Wehry

Published in: EMBC (2015)

Keyphrases

formal verification
model checking
data sets
neural network
signature verification
real time
real world
data mining
genetic algorithm
case study
feature extraction
video sequences
digital libraries
artificial neural networks
face verification
verification method