ISO/IEC 24029-2:2023
p
ISO/IEC 24029-2:2023
79804
Indisponible en français

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.


Informations générales 

  •  : Publiée
     : 2023-08
  •  : 1
  •  : ISO/IEC JTC 1/SC 42 Intelligence artificielle
  •  :
    35.020 Technologie de l'information (TI) en général

Acheter cette norme

fr
Format Langue
std 1 124 PDF + ePub
std 2 124 Papier
  • CHF124

Vous avez une question?

Consulter notre FAQ

Service à la clientèle
+41 22 749 08 88

Horaires d’ouverture:
De lundi à vendredi - 09:00-12:00, 14:00-17:00 (UTC+1)