Back to Results
First PageMeta Content
Theoretical computer science / Concurrent computing / Formal methods / L4 microkernel family / Formal verification / Microkernel / Isabelle / Trusted computing base / Kernel / Computer architecture / Computing / Software


Document Date: 2009-08-05 10:48:36

Open Document

File Size: 409,29 KB

Share Result on Facebook
UPDATE