ADC Testing With Verification.

Balázs Fodor István Kollár

Published in: IEEE Trans. Instrum. Meas. (2008)

Keyphrases

test generation
formal verification
symbolic execution
model checking
verification method
artificial intelligence
neural network
test cases
information systems
social networks
machine learning
digital images
training data
e learning
temporal logic
data sets
concurrent systems
false acceptance rate