ГОСТ Р 72396-2025 — Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование

Тип и номер: ГОСТ Р 72396-2025
Наименование: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование
Статус: Информация о статусе доступна в коммерческой версии NormaCS
Утвержден: Росстандарт; Федеральное агентство по техническому регулированию и метрологии, 20.11.2025
Текст документа: отсутствует
Изображение документа: присутствует