Assessing the Risk of an Adaptation using Prior Compliance Verification.

Allen Marshall Sharmin Jahan Rose F. Gamble

Published in: HICSS (2018)

Keyphrases

prior knowledge
model checking
formal methods
neural network
concurrent systems
formal analysis
high risk
risk analysis
signature verification
formal verification
functional verification
minimum risk
dynamic adaptation
person identification
face verification
risk management
data mining