Time-triggered runtime verification.

Borzoo Bonakdarpour Samaneh Navabpour Sebastian Fischmeister

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

data sets
model checking
face verification
neural network
metadata
image processing
database systems
face recognition
similarity measure
multi agent systems
formal analysis
formal verification
asynchronous circuits
high security
verification method