seL4
Klein, Gerwin, Norrish, Michael, Sewell, Thomas, Tuch, Harvey, Winwood, Simon, Andronick, June, Elphinstone, Kevin, Heiser, Gernot, Cock, David, Derrin, Philip, Elkaduwe, Dhammika, Engelhardt, Kai, KoТом:
53
Мова:
english
Журнал:
Communications of the ACM
DOI:
10.1145/1743546.1743574
Date:
June, 2010
Файл:
PDF, 1.05 MB
english, 2010