PD IEC TR 63415:2023 Nuclear Power plants. Instrumentation and control systems. Use of formal security models for I&C security architecture design and assessment
2023PD IEC TR 63415:2023 Nuclear Power plants. Instrumentation and control systems. Use of formal security models for I&C security architecture design and assessment