Name:
DANSK DSF/ISO/IEC DIS 24029-2 PDF
Published Date:
Status:
[ Draft-Obsolete ]
Publisher:
Dansk Standard
This document provides methodology for the use of formal methods to assess robustness 159 properties of neural networks. The document focuses on how to select, apply and manage formal 160 methods to prove robustness properties.
| Edition : | 22# |
| File Size : | 1 file , 1.1 MB |
| Number of Pages : | 29 |
| Product Code(s) : | DSF-021, DSF-021 |