欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Automotive
来自开放百科 - 灰狐
（版本间的差异）
小 (→图集) |
小 (→图集) |
||
| （未显示1个用户的2个中间版本） | |||
| 第20行： | 第20行： | ||
==文档== | ==文档== | ||
*[http://docs.huihoo.com/erlang/conference/euc2016/Emulating-the-Essence-of-Erlang-in-RVI.pdf Emulating the Essence of Erlang in RVI] | *[http://docs.huihoo.com/erlang/conference/euc2016/Emulating-the-Essence-of-Erlang-in-RVI.pdf Emulating the Essence of Erlang in RVI] | ||
| + | *[http://docs.huihoo.com/erlang/conference/sfbay2016/Erlang-Open-Source-and-the-Connected-Car.pdf Erlang, Open Source and The Connected Car] | ||
==图集== | ==图集== | ||
| 第29行： | 第30行： | ||
image:RVI-Protocol.png|RVI协议 | image:RVI-Protocol.png|RVI协议 | ||
image:RVI-Credentials.png|RVI证书 | image:RVI-Credentials.png|RVI证书 | ||
| + | image:RVI-Service-Edge-API.png|Service Edge API | ||
| + | image:V2X-Communication-and-Future.png|V2X通讯和未来 | ||
</gallery> | </gallery> | ||
2017年10月29日 (日) 05:09的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Automotive Thanks, Wikipedia. |
汽车、汽车产业、汽车工业、Automotive industry
目录 |
[编辑] 简介
Autonomous car目前是汽车工业的焦点。
[编辑] 指南
[编辑] 技术
[编辑] 项目
[编辑] 文档
[编辑] 图集
车联网架构
车联网数据接入
车联网数据流
RVI
RVI协议
RVI证书
Service Edge API
V2X通讯和未来
[编辑] 链接
分享您的观点
