Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic.

Victor Bandur John McDermid

Published in: SAFECOMP Workshops (2015)

Keyphrases

classical logic
modal logic
mathematical theory
formal language
real time
neural network
decision trees
logic programming
intrusion detection
information security
image interpretation
operational semantics
formal representation