论文降重
免费查重
autoC： an efficient translator for model checking deterministic scheduler based OSEK/VDX applications
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
基于OSEK/VDX协议的汽车控制系统平台
OSEK/VDX
汽车
控制系统
操作系统
μC/OS-Ⅱ
基于OSEK/VDX标准的操作系统设计与实现
汽车电子
嵌入式实时操作系统
ECU
OSEK/VDX
基于OSEK/VDX乘用车车身CAN/LIN网络设计与实现
OSEK/VDX
车身网络
网络管理
网络状态
基于OSEK/VDX规范的实时操作系统移植研究
实时操作系统
AutoOSEK
PowerPC
移植
OSEK/VDX
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | autoC： an efficient translator for model checking deterministic scheduler based OSEK/VDX applications | ||
| 来源期刊 | 中国科学 | 学科 | 工学 |
| 关键词 | OSEK/VDX 应用程序 模型检查 翻译程序 调度程序 可伸缩性 程序模型 软件工具 | ||
| 年，卷（期） | zgkx_2018,（5） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 137-151 | |
| 页数 | 15页 | 分类号 | TP317 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2018(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
OSEK/VDX
应用程序
模型检查
翻译程序
调度程序
可伸缩性
程序模型
软件工具
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
