欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Automotive Grade Linux
来自开放百科 - 灰狐
（版本间的差异）
(以“Automotive Grade Linux(AGL) 是 Linux基金会发布的开源Linux车载系统，AGL 基于 Tizen 构建。 ==简介== ==图集== ==链...”为内容创建页面) |
小 (→图集) |
||
| 第4行： | 第4行： | ||
==图集== | ==图集== | ||
| + | <gallery> | ||
| + | image:agl-governance.png|AGL治理 | ||
| + | </gallery> | ||
==链接== | ==链接== | ||
2016年10月27日 (四) 07:20的版本
Automotive Grade Linux(AGL) 是 Linux基金会发布的开源Linux车载系统，AGL 基于 Tizen 构建。
简介
图集
AGL治理
链接
分享您的观点
