-
Autosar采用了一种简化的编程模型
资源介绍
Autosar
Autosar中简化的编程模型
内容
目录
评论
ARSim /
模拟器（用Haskell编写）+ DSL示例+ MATLAB接口
ARXML /
从AUTOSAR XML到Haskell的转换器（正在进行中）
学期/
语义学（采用eprover语法-类似于Prolog）
tptp /
语义的FOL语法
纸/
有关AUTOSAR核心演算的研究论文草稿
doc /
文档幻灯片等
oldARSim /
模拟器的早期版本（现在在ARSim /中）
汞/
咖喱/
传播方式
2016-08-31：技术报告/论文： ，
2016年6月9日： 。