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

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