欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Automotive
来自开放百科 - 灰狐
（版本间的差异）
小 (→图集) |
小 (→文档) |
||
| 第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] | ||
==图集== | ==图集== | ||
2017年10月18日 (三) 09:10的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Automotive Thanks, Wikipedia. |
汽车、汽车产业、汽车工业、Automotive industry
目录 |
简介
Autonomous car目前是汽车工业的焦点。
指南
技术
项目
文档
图集
车联网架构
车联网数据接入
车联网数据流
RVI
RVI协议
RVI证书
Service Edge API
链接
分享您的观点
