A virtualized separation kernel for mixed-criticality systems

R. West, Y. Li, E. Missimer, M. Danish

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Journal	ACM Transactions on Computer Systems
DOIs	https://doi.org/10.1145/2935748
Publication status	Published - 2016
Externally published	Yes

Access to Document

@article{dee6043b222a4f53be492ba33e803f7b,

title = "A virtualized separation kernel for mixed-criticality systems",

author = "R. West and Y. Li and E. Missimer and M. Danish",

year = "2016",

doi = "10.1145/2935748",

language = "English",

journal = "ACM Transactions on Computer Systems",

issn = "0734-2071",

publisher = "Association for Computing Machinery ",

}

TY - JOUR

T1 - A virtualized separation kernel for mixed-criticality systems

AU - West, R.

AU - Li, Y.

AU - Missimer, E.

AU - Danish, M.

PY - 2016

Y1 - 2016

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84978121218&partnerID=MN8TOARS

U2 - 10.1145/2935748

DO - 10.1145/2935748

M3 - Article

SN - 0734-2071

JO - ACM Transactions on Computer Systems

JF - ACM Transactions on Computer Systems

ER -