A Perception of the Practice of Software Security and Performance Verification.

Victor Vidigal Ribeiro Daniela Soares Cruzes Guilherme Horta Travassos

Published in: ASWEC (2018)

Keyphrases

model checking
formal verification
multi agent
real time
neural network
artificial intelligence
knowledge base
image processing
objective function
information technology
human perception
person identification
verification method
concurrent systems