ISO/IEC-24029-2 › Artificial intelligence (AI) - Assessment of the robustness of neural networks - Part 2: Methodology for the use of formal methods

ISO/IEC-24029-2 - 1ST EDITION - CURRENT


Document Center Inc. is an authorized dealer of ISO standards.
The following bibliographic material is provided to assist you with your purchasing decision:


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.

ORDER

Price:

$161.02        


Want this as a site license?

To find similar documents by classification:

35.020 (Information technology (IT) in general Including general aspects of IT equipment)

This document comes with our free Notification Service, good for the life of the document.

This document is available in either Paper or PDF format.

Document Number

ISO/IEC 24029-2:2023

Revision Level

1ST EDITION

Status

Current

Publication Date

Aug. 1, 2023

Committee Number

ISO/IEC JTC 1/SC 42