International Standard
ISO/IEC 24029-2:2023
Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
Reference number
ISO/IEC 24029-2:2023
Версия 1
2023-08
© ISO 2024
International Standard
Предпросмотр
недоступно на русском языке
Опубликовано (Версия 1, 2023)

ISO/IEC 24029-2:2023

Формат
Язык
CHF 129
Пересчитать швейцарские франки (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 обновления

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

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

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

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

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

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

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

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

  2. Интернет-магазин
  3. Каталог стандартов
  4. МКС
  5. 35
  6. 35.020
  7. ISO/IEC 24029-2:2023