【文件属性】：
文件名称：autosar:Autosar中简化的编程模型
文件大小：5.05MB
文件格式：ZIP
更新时间：2021-05-05 10:52:53
Haskell
Autosar
Autosar中简化的编程模型
内容
目录
评论
ARSim /
模拟器（用Haskell编写）+ DSL示例+ MATLAB接口
ARXML /
从AUTOSAR XML到Haskell的转换器（正在进行中）
学期/
语义学（采用eprover语法-类似于Prolog）
tptp /
语义的FOL语法
纸/
有关AUTOSAR核心演算的研究论文草稿
doc /
文档幻灯片等
oldARSim /
模拟器的早期版本（现在在ARSim /中）
汞/
咖喱/
传播方式
2016-08-31：技术报告/论文： ，
2016年6月9日： 。