A case study on parametric verification of failure detectors.

Thanh-Hai Tran Igor Konnov Josef Widder

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

case study
model checking
object detection
failure rate
databases
test bed
face verification
signature verification
high security
data sets
computer vision
failure modes
failure recovery
negative selection algorithm