Browsing by Author Elphinstone, Kevin
Showing results 1 to 2 of 2
SeL4: Formal verification of an operating-system kernel
Author(s) | Klein, Gerwin; Andronick, June; Elphinstone, Kevin, et al |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
seL4: Formal Verification of an OS Kernel
Author(s) | Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot, et al |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | October 11-14 2009 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator