Verification on Port Connections.

Geeng-Wei Lee Juinn-Dar Huang Jing-Yang Jou Chun-Yao Wang

Published in: ITC (2004)

Keyphrases

model checking
face verification
concurrent systems
multiscale
formal verification
database
information retrieval
artificial intelligence
image processing
database systems
multi agent
signature verification
person identification
functional verification