Login / Signup
General Anticipatory Runtime Verification.
Raik Hipler
Hannes Kallwies
Martin Leucker
César Sánchez
Published in:
CAV (2) (2024)
Keyphrases
</>
special case
wide range
databases
closely related
face verification
verification method
database
neural network
computer vision
image processing
optimal solution
digital images
signature verification