Verification and Validation of the Yonggwang-3&4 Full Scope Simulator.

Myeong-Soo Lee Jung-Kun Lee Dong Wook Kim

Published in: ESM (1998)

Keyphrases

model checking
artificial intelligence
formal analysis
concurrent systems
image processing
similarity measure
computer science
digital images
temporal logic
test bed
face verification
signature verification
person identification
asynchronous circuits
high security