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

Документ "Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование" находится в системе НТД NormaCS

Вы можете получить этот (и еще 150 000) документ в рамках бесплатной 3х-дневной опытной эксплуатации NormaCS.

Отправить

Заполните анкету и мы предоставим Вам информацию в течение рабочего дня (с 9 до 18 по московскому времени).

Если Вы уже воспользовались услугой бесплатной опытной эксплуатации и определились с выбором разделов - просто нажмите кнопку

Купить NORMACS

Или свяжитесь с нами по телефону 8(831) 2-100-100

Информацию о документе или его статусе Вы можете запросить у Оператора, воспользовавшись формой в правом нижнем углу сайта

При запросе просим обратить внимание, что мы продаем библиотеку Нормативно-технической документации (а не товары, гвозди, балки и прочее). Так же мы не продаем документы отдельно. Однако если Вы попали на эту страницу и видите первую страницу документа - это означает, что он у нас есть. Всего в системе около 150 000 нормативно-технических документов. Если Вам необходим только один документ - мы готовы его предоставить совершенно бесплатно  в рамках 3х-дневной  опытной эксплуатации.   Для этого отправьте свой Email, нажав на кнопку "получить документ", чтобы мы выслали Вам инструкцию по установке программы.  Существуют несколько вариантов проведения опытной эксплуатации (Вы  можете заказать винчестер с дистрибутивом, либо пригласить специалиста к себе в компанию). Мы готовы ответить на Ваши вопросы в любой рабочий день с 9 до 18 по Московскому времени по телефону  (831) 2-100-100.

Документ входит в следующие классификаторы и разделы:

• Классификатор ISO

Документ ссылается на:

• 
  ГОСТ Р МЭК 61508-3-2012 - Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3. Требования к программному обеспечению
• 
  ГОСТ Р МЭК 61508-4-2012 - Функциональная безопасность систем электрических, электронных, программируемых электронных связанных с безопасностью. Часть 4. Термины и определения
• 
  ОК 001-2021 - Общероссийский классификатор стандартов
• 
  Федеральный закон 162-ФЗ - О стандартизации в Российской Федерации