Disambiguation evidence for seL4 microkernel via surface form
"seL4 microkernel"
Triples (5)
Triples where some other subject referred to this entity
as "seL4 microkernel".
NSW Science and Engineering Award (Engineering and ICT) for seL4 team
→
recognizesWorkOn
→
"seL4 microkernel"
ⓘ
↳ resolves to seL4 microkernel
seL4: Formal Verification of an OS Kernel
→
describes
→
"seL4 microkernel"
ⓘ
↳ resolves to seL4 microkernel
linked to:
“seL4: Formal Verification of an OS Kernel”