机译:大型安全关键软件的静态分析仪
机译:用于基于可编程逻辑控制器(PLC)的安全关键型系统开发的软件设计规范和分析技术(SDSAT)
机译:安全关键型嵌入式汽车软件的弹性接口设计
机译:关于使用实时内核实施实践程序培训嵌入式软件工程师的提案
机译:高性能实时嵌入式系统:路面分析仪系统的设计和实现。
机译:抗干扰GPS / WAAS传感器实时软件无线电的设计与实现
机译:安全关键型实时嵌入式软件专用静态程序分析器的设计与实现
机译:assIp研究实时安全关键嵌入式软件 - 密集系统工程实践