
ISO 24029:2023
ISO 24029:2023 Artificial intelligence (AI) – Assessment of the robustness of neural networks – Part 2: Methodology for the use of formal methods
CDN $259.00
SKU: e47f61f58b7e
Categories: ICS:35.020, SUSTAINABLE_DEVELOPMENT_GOAL:9
Description
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.
Edition
1
Published Date
2023-08-01
Status
PUBLISHED
Pages
23
Format 
Secure PDF
Secure – PDF details
- Save your file locally or view it via a web viewer
- Viewing permissions are restricted exclusively to the purchaser
- Device limits - 3
- Printing – Enabled only to print (1) copy
See more about our Environmental Commitment
Abstract
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.
Previous Editions
Can’t find what you are looking for?
Please contact us at:
Related Documents
-

ISO 15424:2025 Information technology – Automatic identification and data capture techniques – Data carrier identifiers (including symbology identifiers)
CDN $259.00 Add to cart -

ISO 1176:1990 Road vehicles – Masses – Vocabulary and codes
CDN $129.00 Add to cart -

ISO 2382:2015 Information technology – Vocabulary
CDN $0.00 Add to cart -

ISO 80004:2011 Nanotechnologies – Vocabulary – Part 5: Nano/bio interface
CDN $85.00 Add to cart







