Towards a Formal Basis for Modular Safety Cases.

Ewen Denney Ganesh J. Pai

Published in: SAFECOMP (2015)

Keyphrases

starting point
databases
neural network
real time
e learning
data structure
mathematical theory
modular neural networks