三重冗余容错集成控制系统在能量回收机组中的应用
The Application of Triple Redundant Integrated Control System in the Energy Recovery Unit
使用XYZ/E描述和验证三机冗余容错系统。
XYZ / E is used to specify and verify the triple-modular redundancy fault-tolerant system .