Verification of Shared-Reading Synchronisers.

Afshin Amighi Marieke Huisman Stefan Blom

Published in: MeTRiD@ETAPS (2018)

Keyphrases

model checking
formal verification
databases
data sets
information retrieval
person identification
database
genetic algorithm
knowledge base
website
data structure
face verification
formal analysis
fingerprint verification
multimodal biometrics