недоступно на русском языке
Текущий статус : Опубликовано
Формат Язык
PDF + ePub
Бумажный
  • CHF124
Пересчитать швейцарские франки (CHF) в ваша валюта

Тезис

This document provides methodology for the use of formal methods to assess robustness properties of neural networks. The document focuses on how to select, apply and manage formal methods to prove robustness properties.

Общая информация

  • Текущий статус
     : Опубликовано
    Дата публикации
     : 2023-08
    Этап
    : Опубликование международного стандарта [60.60]
  • Версия
     : 1
  • Технический комитет :
    ISO/IEC JTC 1/SC 42
    ICS :
    35.020 
  • RSS обновления
Standard first page

Preview 

Предварительно ознакомьтесь с этим стандартом в нашем Он-лайн библиотека стандартов (OBP)

Жизненный цикл

Цели в области устойчивого развития

Данный стандарт разработан для достижения следующих Цель устойчивого развития

9
Индустриализация, инновации и инфраструктура

Появились вопросы?

Ознакомьтесь с FAQ

Работа с клиентами
+41 22 749 08 88

Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)

  2. Интернет-магазин
  3. Каталог стандартов
  4. ТК
  5. ISO/IEC JTC 1/SC 42
  6. ISO/IEC 24029-2:2023