Sign in
Running the manual: an approach to high-assurance microkernel development.
Philip Derrin
Kevin Elphinstone
Gerwin Klein
David Cock
Manuel M. T. Chakravarty
Published in:
Haskell (2006)
Keyphrases
</>
high assurance
case study
software engineering
rapid development
design process
data sets
bayesian networks
search algorithm
expert systems
database systems
decision support
information processing
knowledge base
development process
error prone
information systems
support systems
neural network