Generators; Hardware; Sensors; Libraries; XML; Phasor measurement units; Computer architecture;
机译:基于现场可编程门阵列的核电厂安全关键I&C系统的设计验证增强
机译:带有执行器故障的离散Takagi–Sugeno模糊系统的集成故障估计和适应性设计
机译:基于软件检查,需求可追溯性和容错性,分析安全关键系统软件需求的集成技术。
机译:具有安全关键系统中的需求和故障的集成验证的设计流程
机译:通过基于断言的验证和故障注入对集成电路设计进行故障覆盖分析。
机译:具有传感器故障的网络控制系统的可靠有限频率滤波器设计
机译:在非标称条件下运行的未来集成安全关键系统的验证和验证
机译:在非标称条件下运行的未来集成安全关键系统的验证和验证