Каталог документов NormaCS

Поиск по каталогу:   
Реквизитный и полнотекстовый поиск документов доступен в lite-версии сетевого клиента NormaCS

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

ГОСТ Р 72396-2025 входит в следующие классификаторы и разделы
Классификатор ISO13  ОХРАНА ОКРУЖАЮЩЕЙ СРЕДЫ, ЗАЩИТА ЧЕЛОВЕКА ОТ ВОЗДЕЙСТВИЯ ОКРУЖАЮЩЕЙ СРЕДЫ. БЕЗОПАСНОСТЬ  13.110 Безопасность механизмов
Классификатор ISO25  МАШИНОСТРОЕНИЕ  25.040  Промышленные автоматизированные системы  25.040.40 Измерение и контроль производственного процесса
Национальные стандарты25  МАШИНОСТРОЕНИЕ  25.040  Промышленные автоматизированные системы  25.040.40 Измерение и контроль производственного процесса

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

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

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

Заказать систему NormaCS с полными текстами/изображениями документов
Полнотекстовый поиск по всем документам доступен в демо-версии сетевого клиента

Пожалуйста, дождитесь загрузки страницы...