Login / Signup
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