Login / Signup

General Anticipatory Runtime Verification.

Raik HiplerHannes KallwiesMartin LeuckerCé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