Login / Signup
A Formal Model of Lower System Layers.
Julien Schmaltz
Published in:
FMCAD (2006)
Keyphrases
</>
formal model
formal models
security properties
predicate calculus
real time
multi layer
neural network
machine learning
data sets
artificial neural networks
early stage
significantly lower
single layer
security patterns