机译:实时DEVS在安全关键型嵌入式控制系统分析中的应用:铁路道口控制示例
机译:轻量级虚拟化模型,用于在深度嵌入式系统中启用边缘计算
机译:BlueIo:用于许多核心嵌入式系统的可扩展实时硬件I / O虚拟化系统
机译:通过基于SGX的轻量级虚拟化隔离实时的安全关键嵌入式系统
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:一个轻量级对象检测网络用于实时检测嵌入式设备上的驾驶员手持式呼叫
机译:安全关键型实时嵌入式系统的定时故障检测
机译:assIp研究实时安全关键嵌入式软件 - 密集系统工程实践