Login / Signup
Verified Protection Model of the seL4 Microkernel.
Dhammika Elkaduwe
Gerwin Klein
Kevin Elphinstone
Published in:
VSTTE (2008)
Keyphrases
</>
computational model
data sets
neural network
artificial intelligence
data structure
simulation model
formal model
case study
image sequences
d objects
theoretical analysis
theoretical framework
sensitivity analysis
computational models
network model