Reference number
ϲʿ/IEC 24029-2:2023
International Standard
ϲʿ/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
ϲʿ/IEC 24029-2:2023
79804
No disponible en 貹ñDZ
Publicado (徱ó 1, 2023)

ϲʿ/IEC 24029-2:2023

ϲʿ/IEC 24029-2:2023
79804
Idioma
Formato
CHF 129
Convertir Franco suizo (CHF) a

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

  •  : Publicado
     : 2023-08
    : Norma Internacional publicada [60.60]
  •  : 1
     : 23
  • ϲʿ/IEC JTC 1/SC 42
    35.020 
  • RSS actualizaciones

¿Tiene alguna duda?

Consulte nuestras Ayuda y asistencia

Atención al cliente
+41 22 749 08 88

Horario de asistencia:
De lunes a viernes - 09:00-12:00, 14:00-17:00 (UTC+1)