Intelligence artificielle (IA) — Evaluation de la robustesse de réseaux neuronaux — Partie 2: Méthodologie pour l'utilisation de méthodes formelles
Onglets principaux
Référence:
ISO/IEC 24029-2:2023
Année Publication:
2023
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.
83 500 F CFA
- Connectez-vous ou inscrivez-vous pour publier un commentaire
DERNIÈRES ACTUALITÉS
En ce 19 novembre, rappelons que l'accès à des toilettes sûres et propres est essentiel pour la santé, la dignité,...
Du 5 au 8 Novembre, le Directeur Général de l’ASN, Elhadji Abdourahmane Ndione, a effectué une mission en Chine sur...
Le jeudi 13 novembre 2025, l’Association Sénégalaise de Normalisation (ASN) a tenu son Assemblée Générale Ordinaire...
Le mercredi 12 novembre 2025, s’est tenu à l’Hôtel Fleur de Lys, Point E (Dakar) un atelier national de...
