| 000 | 00454nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 171207s9999 xx 000 0 und d | ||
| 100 | _aWest, R. | ||
| 245 | 2 | _aA Virtualized Separation Kernel for Mixed-Criticality Systems | |
| 245 | _cR. West Y. Li E. Missimer M. Danish | ||
| 260 | _c2016 | ||
| 300 | _apages 15189, September 2016 | ||
| 440 |
_aACM Transactions on Computer Systems _v34:3 |
||
| 650 | _aSeparation kernel, chip-level distributed system | ||
| 999 |
_c347590 _d347590 |
||