AS ISO/IEC 24029.2:2024

Artificial intelligence (AI) - Assessment of the robustness of neural networks, Part 2: Methodology for the use of formal methods

Standards Australia , 06/28/2024

$43.00 $86.00

AS ISO/IEC 24029.2:2024 PDF

AS ISO/IEC 24029.2:2024 identically adopts ISO/IEC 24029-2:2023, which 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.

Product Information

Published: 06/28/2024
Pages: 23
ISBN: 9781761397233
File Size: 1 file , 2 MB
Language: English
Note: This product is unavailable in Ukraine, Russia, Belarus

Related Documents

AS 5101.3.2-2008
AS 4506-2005
AS 4506-2005

$39.00

AS 2593-1983
AS 2593-1983

$29.00

AS/NZS 1254:2010