Verification.

Tae Gu Kang Jinwoo Lee Junyeng Kim Dae Hyun Yum

Published in: IEICE Trans. Inf. Syst. (2019)

Keyphrases

model checking
real time
database
mobile robot
face verification
functional verification
metadata
image processing
website
control system
medical images
formal analysis
formal verification
person identification
asynchronous circuits
concurrent systems