- -77%
- New
AS ISO/IEC 24029.2:2024
$96.36
$22.16
Save 77%
Artificial intelligence (AI) - Assessment of the robustness of neural networks, Part 2: Methodology for the use of formal methods
Security policy
(edit with the Customer Reassurance module)
Delivery policy
(edit with the Customer Reassurance module)
Return policy
(edit with the Customer Reassurance module)
Full Description
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.
See more
R00000602
5417 Items
chat
Comments (0)
No customer reviews for the moment.
Artificial intelligence (AI) - Assessment of the robustness of neural networks, Part 2: Methodology for the use of formal methods