Kevin Elphinstone 人物

关系图谱

3

相关论文

2

相关公司

0

相关事件

0

相关专利

0

相关文章

相关论文查看全部 (3)

seL4
2009引用 1564
Comprehensive formal verification of an OS microkernel
2014ACM Transactions on Computer Systems引用 332
seL4
2010Communications of the ACM引用 297

相关公司查看全部 (2)

UNSW SydneyUNIVERSITY
Data61COMPANY

相关事件

暂无数据

相关专利

暂无数据

相关文章

暂无数据