微博
加入微博一起分享新鲜事
登录
|
注册
140
【苹果公司正式加入 seL4 基金会】seL4 基金会在当地时间2024年4月29日正式披露苹果公司（Apple Inc）加入 seL4 基金会，成为其普通会员，具有投票权，但不具有董事席位。seL4 基金会对此表示欢迎，并期待未来苹果公司在形式验证与 seL4 上的工作。 ... https://openingsource.org/11734/
请登录并选择要私信的好友
300
【苹果公司正式加入 seL4 基金会】seL4 基金会在当地时间2024年4月29日正式披露苹果公司（Apple Inc）加入 seL4 基金会，成为其普通会员，具有投票权，但不具有董事席位。seL4 基金会对此表示欢迎，并期待未来苹果公司在形式验证与 seL4 上的工作。 ... https://openingsource.org/11734/
赞一下这个内容
公开
分享
获取分享按钮
正在发布微博，请稍候