Transmission of Verification.

Ethan Brauer Neil Tennant

Published in: Rev. Symb. Log. (2021)

Keyphrases

model checking
data transmission
database
formal verification
learning algorithm
face verification
real time
machine learning
information retrieval
multimedia
web services
motion estimation
formal analysis
fingerprint verification
error free