文件下载

seL4基金会主席做客地平线:共同探讨车载OS开源操作系统生态建设

2021-11-24 | 网络研讨会 | 作者: 鉴释及seL4

鉴释CEO梁宇宁、seL4基金会主席Gernot Heiser 及其 CEO June Andronick,一起通过线上线下方式参与在地平线北京办公室举办的以车载OS为主题的研讨会。本次研讨会也对他们演讲和讨论进行了线上直播,让更多关注seL4的企业和相关人员参与进来。 在会上,梁宇宁主要介绍了车载操作系统的现状以及为什么选择seL4微内核是车载操作系统的最优选。Gernot和June首先回顾介绍seL4的特点和功能,并且重点分享和讨论有关形式化验证技术的落地。请注意,此文档为英文。点击此处观看精彩视频回放

请填写表格下载

    • 点击‘下载’提交此表格,即表示您同意让销售人员就我们的服务与您取得联系
    • 点击‘下载’提交此表格,即表示您同意鉴释隐私政策中有关个人数据的条款和条件

通过使用我们的网站,表明您已经阅读并理解我们的Cookie政策及隐私政策