ГОСТ Р 72396-2025 Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование
Межгосударственный стандарт
Скачать ГОСТ в PDF или DOC бесплатно
Основная информация
Обозначение:
ГОСТ Р 72396-2025
Статус:
Принят
Название русское:
Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование
Название английское:
Functional safety of electrical, electronic, programmable electronic safety-related systems. Part 3-2. Requirements and guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation
Даты и сроки
Дата введения в действие:
07-01-26
Описание стандарта
ГОСТ Р 72396-2025 Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование
Страницы стандарта
