Safety Certification; Component-based; Embedded Software;
机译:安全关键嵌入式软件的软件测试技术
机译:经验报告:使用Objective Caml在认证框架中开发安全关键的嵌入式工具
机译:安全关键的ITER维护设备的统一软件开发方法
机译:安全关键嵌入式设备的完整组件明智软件认证
机译:为安全关键嵌入式和IOT设备安全远程证明
机译:在资源受限的物联网设备中嵌入软件代理的体系结构
机译:基于本体的方法支持安全关键软件产品线认证