ACRN目前用在车载、物联网和互联网的区别领域,请问在安全性方面用HOL、TLA+工具做过验证吗?

ACRN目前用在车载、物联网领域,请问在安全性方面用HOL、TLA+工具做过验证吗?_百度知道
ACRN目前用在车载、物联网领域,请问在安全性方面用HOL、TLA+工具做过验证吗?
答题抽奖
首次认真答题后
即可获得3次抽奖机会,100%中奖。
行走印记酒店
行走印记酒店
擅长:暂未定制
ACRN还很年轻,ACRN的设计充分考虑了functional safety,ACRN是一个开源项目,欢迎用户积极参与社区贡献,提交代码。具体技术建议和patch可以通过邮件列表讨论、发送,欢迎任何creative的意见。
为你推荐:
其他类似问题
个人、企业类
违法有害信息,请在下方选择后提交
色情、暴力
我们会通过消息、邮箱等方式尽快将举报结果通知您。

我要回帖

更多关于 物联网专业学什么 的文章

 

随机推荐