FlexOS: easy specialization of OS safety properties.

Published in: Middleware Doctoral Symposium (2021)

Keyphrases

operating system
data sets
image processing
open source
desirable properties
bayesian networks
mobile robot
computer systems
database manager