机译:验证OSEK / VDX汽车应用:基于自旋的模型检查方法
机译:汽车应用OSEK / VDX标准-现状
机译:验证OSEK / VDX应用程序:基于序列化的模型检查方法
机译:基于OSEK / VDX的汽车应用分析
机译:基于GAN的高转换比DC-DC转换器,具有汽车应用的快速瞬变和故障隔离
机译:石墨烯纳米片增强的环氧再生橡胶基复合材料的断裂韧性分析用于汽车和航空领域
机译:用于汽车设备的基于OSEK / VDX的Multi-JVM
机译:走向基于形式主义的汽车应用工具包。