你即將離開本站

並前往https://publications.csiro.au/rpr/pub?pid=nicta:7371

Comprehensive Formal Verification of an OS Microkernel

Comprehensive Formal Verification of an OS Microkernel · Author: Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, ...

確定！ 回上一頁

查詢 「Microkernel」的人也找了：

  1. microkernel優缺點
    2.
  2. Microkernel Monolithic kernel
    3.
  3. monolithic kernel vs microkernel比較
    4.
  4. Microkernel
    5.
  5. Android microkernel
    6.
  6. Microkernel approach
    7.
  7. F9 microkernel
    8.
  8. Microkernel architecture
    9.