您的位置： 专家智库 > >

彭云辉

作品数：2 被引量：3H指数：1
供职机构：华东师范大学更多>>
相关领域：交通运输工程自动化与计算机技术机械工程更多>>

合作作者

文献类型

  • 1篇学位论文
  • 1篇专利

领域

  • 1篇机械工程
  • 1篇自动化与计算...
  • 1篇交通运输工程

主题

  • 2篇操作系
  • 2篇操作系统
  • 1篇代码
  • 1篇形式化
  • 1篇形式化定义
  • 1篇时态逻辑
  • 1篇起动
  • 1篇起动系
  • 1篇起动系统
  • 1篇汽车
  • 1篇汽车起动
  • 1篇汽车起动系统
  • 1篇系统代码
  • 1篇进程代数
  • 1篇发动机
  • 1篇发动机管理
  • 1篇发动机管理系...
  • 1篇PAT
  • 1篇TIMED
  • 1篇AUTOSA...

机构

  • 2篇华东师范大学

作者

  • 2篇彭云辉
  • 1篇黄滟鸿
  • 1篇郭建
  • 1篇朱晓冉

年份

  • 1篇2015
  • 1篇2014
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于AUTOSAR的汽车电子操作系统及其应用的建模与分析
汽车电子的正确性、安全性和可靠性越来越受到学术界与工业界的关注。汽车开放系统架构AUTOSAR (AUTomotive Open System Architecture),是汽车电子行业最广泛采用的工业标准。验证AUTO...
彭云辉
关键词：汽车起动系统发动机管理系统PAT
文献传递
汽车开放系统架构操作系统的分析和验证装置及其方法
本发明公开了一种基于AUTOSAR规范的汽车开放系统架构的操作系统分析和验证装置，包括：代码的timed-CSP定义单元，其运用时间进程代数，形成汽车开放系统架构的操作系统代码的timed-CSP形式化定义，生成代码的t...
郭建黄滟鸿彭云辉朱晓冉
文献传递
全选 清除 导出
共1页<1>
聚类工具0