机译:安全关键嵌入式系统的有效验证策略
机译:可变能源集成系统中分布式能量存储系统的基于工作条件的电压控制算法
机译:使用erer集成建模和分析系统(IMAS)在Eurofusion中的代码集成,数据验证和模型验证
机译:飞机失控:未来安全关键系统的分析和要求及其验证
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:手术室空调和通风系统的设计和维护(工程和卫生部门报告):医院维护工程师报告的手术室空调和通风系统的设计和维护
机译:安全关键型嵌入式系统的有效验证策略
机译:在非标称条件下运行的未来集成安全关键系统的验证和验证