application program interfaces; avionics; certification; graphical user interfaces; man-machine systems; rendering (computer graphics); safety-critical software; application program interface; commercially available driver software; embedded OpenGL; embedded graph;
机译:实时安全关键航空嵌入式系统的一键式构建环境和工具链
机译:经验报告:使用Objective Caml在认证框架中开发安全关键的嵌入式工具
机译:实施精益标准工作,以解决高度自动化的制造环境中的低工作量缓冲问题
机译:解决嵌入式OpenGL难题-使标准,工具和API在高度嵌入式和安全关键的环境中协同工作
机译:使用故障树分析检测安全关键嵌入式系统中的组件故障和关键组件
机译:从金属有机骨架中嵌入N掺杂碳中的钴纳米粒子作为氧释放反应的高活性电催化剂
机译:Misra C编码标准及其在安全和安全关键嵌入式软件的开发和分析中的作用
机译:用于自适应分布式嵌入式控制系统高可信度设计的框架和工具。分布式嵌入式系统高可信设计的多大学研究计划