机译:汽车应用OSEK / VDX标准-现状
机译:验证OSEK / VDX汽车应用:基于自旋的模型检查方法
机译:验证OSEK / VDX应用程序:基于序列化的模型检查方法
机译:完整的OSEK开发平台:自动OSEK代码生成,OSEK操作系统和工具开发平台
机译:4D实时多功能光谱域光学相干层析成像技术的开发与应用
机译:使用标准移动设备的近红外光谱的创新方法及其在外周静脉实时可视化中的临床应用
机译:3将simulink连接到OsEK:使用TargetLink为实时操作系统自动生成代码
机译:使用OsEK进行实时应用程序开发:OsEK标准的回顾