文件名称：autosar:Autosar中简化的编程模型
文件大小：5.05MB
文件格式：ZIP
更新时间：2024-05-25 04:39:33
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日： 。