An Integrated Development Environment for the Prototype Verification System.

Paolo Masci César A. Muñoz

Published in: F-IDE@FM (2019)

Keyphrases

information systems
databases
model checking
formal verification
face verification
real time
image processing
face recognition
multi agent
test bed
verification method