Sign in
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis.
Ibrahim Habli
Tim Kelly
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
formal analysis
agent model
formal methods
databases
third party
machine learning
life cycle
ban logic