Software; Tools; Computational modeling; Formal verification; Data models; Libraries; Robots;
机译:ACROSS MPSoC-专为安全关键型嵌入式系统设计的新一代多核处理器
机译:安全关键系统中的人员绩效和嵌入式智能技术
机译:基于模型的测试和评估过程与系统安全过程的集成,以开发安全关键武器系统
机译:安全关键嵌入式人机界面系统的正式开发过程
机译:开发下一代人力可靠性分析:正式药物人体可靠性的系统分析(Safph?)
机译:特殊用途的嵌入式系统的神经机界面假腿
机译:安全关键型嵌入式人机界面系统的正式开发过程