PD IEC TR 63415:2023 Atomkraftwerke. Instrumentierungs- und Steuerungssysteme. Verwendung formaler Sicherheitsmodelle für den Entwurf und die Bewertung der I&C-Sicherheitsarchitektur
2023PD IEC TR 63415:2023 Atomkraftwerke. Instrumentierungs- und Steuerungssysteme. Verwendung formaler Sicherheitsmodelle für den Entwurf und die Bewertung der I&C-Sicherheitsarchitektur