TY  - BOOK
AU  - West, R.
TI  - A Virtualized Separation Kernel for Mixed-Criticality Systems
PY  - 2016///
KW  - Separation kernel, chip-level distributed system
ER  -