Login / Signup
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