Login / Signup
Synthesis of Verified Architectural Components for Critical Systems Hosted on a Verified Microkernel.
David S. Hardin
Published in:
HICSS (2020)
Keyphrases
</>
intelligent systems
building blocks
management system
databases
embedded systems
retrieval systems
computer systems
data structure
decision trees
artificial intelligence
neural network
expert systems
decision making
computer vision
learning systems
software components
data sets
computing systems
program synthesis