Reference number
ISO/IEC 24029-2:2023
© ISO 2024
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
Edition 1
2023-08
Preview
No disponible en español
Publicado (Edición 1, 2023)

ISO/IEC 24029-2:2023

Idioma
Formato
CHF 129
Convertir Franco suizo (CHF) a tu moneda

Resumen

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.

Informaciones generales

  • Estado
     : Publicado
    Fecha de publicación
     : 2023-08
    Etapa
    : Norma Internacional publicada [60.60]
  • Edición
     : 1
    Número de páginas
     : 23
  • Comité Técnico :
    ISO/IEC JTC 1/SC 42
    ICS :
    35.020 
  • RSS actualizaciones

Ciclo de vida

Objetivos de Desarrollo Sostenible

Esta norma contribuye al siguiente Objetivo de Desarrollo Sostenible

9
Industry, Innovation and Infrastructure

¿Tiene alguna duda?

Consulte nuestras Ayuda y asistencia

  2. Tienda
  3. Standards catalogue
  4. ICS
  5. 35
  6. 35.020
  7. ISO/IEC 24029-2:2023