![Gernot Heiser / L4 microkernel family / Formal verification / Real-time operating systems / Kernel / Computer security / Integrity / Mach / Ring / Computer architecture / Trusted computing base / Microkernel Gernot Heiser / L4 microkernel family / Formal verification / Real-time operating systems / Kernel / Computer security / Integrity / Mach / Ring / Computer architecture / Trusted computing base / Microkernel](https://www.pdfsearch.io/img/93ef1d4fdadfda8765a3213a723d931d.jpg)
| Document Date: 2014-09-23 22:58:53 Open Document File Size: 334,71 KBShare Result on Facebook
/ Facility Dependable Systems Building / / IndustryTerm security-critical applications / mobile and connected devices / safety-critical systems / dependable software / x86 processors / http / Person Jodi Steel / / / TVStation WCET / / Technology operating system / x86 processors / / URL www.nicta.com.au / http /
SocialTag |