Verification and Compliance in Collaborative Processes.

Oyepeju Oyekola Lai Xu

Published in: PRO-VE (2020)

Keyphrases

model checking
formal methods
asynchronous circuits
face verification
real time
concurrent systems
artificial intelligence
search engine
website
decision trees
artificial neural networks
temporal logic
formal analysis
fingerprint verification
functional verification
handwritten signature verification