| Обозначение | IEC/TR 63415(2023) |
| Заглавие на русском языке | Атомные станции. Системы контроля и управления. Использование формальных моделей безопасности для проектирования и оценки архитектуры безопасности I&C |
| Заглавие на английском языке | Nuclear Power plants - Instrumentation and control systems - Use of formal security models for I&C security architecture design and assessment |
| МКС | 27.120.20 |
| Вид стандарта | ST |
| Дата опубликования | 30.08.2023 |
| Язык оригинала | английский |
| Количество страниц оригинала | 56 |
| ТК – разработчик стандарта | TC 45/SC 45A |
| Номер издания | 1.0 |
| Статус | Действует |
| Код цены | K |
 |