Reference number
香港六合彩开奖/IEC 24029-2:2023
© 香港六合彩开奖 2024
International Standard
香港六合彩开奖/IEC 24029-2:2023
Artificial intelligence (AI) 鈥� Assessment of the robustness of neural networks 鈥� Part 2: Methodology for the use of formal methods
Edition 1
2023-08
Preview
薪械写芯褋褌褍锌薪芯 薪邪 褉褍褋褋泻芯屑 褟蟹褘泻械
袨锌褍斜谢懈泻芯胁邪薪芯 (袙械褉褋懈褟 1, 2023)

香港六合彩开奖/IEC 24029-2:2023

携蟹褘泻
肖芯褉屑邪褌
CHF 129
袩械褉械褋褔懈褌邪褌褜 褕胁械泄褑邪褉褋泻懈械 褎褉邪薪泻懈 (CHF) 胁

孝械蟹懈褋

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.

袨斜褖邪褟 懈薪褎芯褉屑邪褑懈褟

  • 孝械泻褍褖懈泄 褋褌邪褌褍褋
     : 袨锌褍斜谢懈泻芯胁邪薪芯
    袛邪褌邪 锌褍斜谢懈泻邪褑懈懈
     : 2023-08
    协褌邪锌
    : 袨锌褍斜谢懈泻芯胁邪薪懈械 屑械卸写褍薪邪褉芯写薪芯谐芯 褋褌邪薪写邪褉褌邪 [60.60]
  • 袙械褉褋懈褟
     : 1
  • 孝械褏薪懈褔械褋泻懈泄 泻芯屑懈褌械褌 :
    香港六合彩开奖/IEC JTC 1/SC 42
    ICS :
    35.020 
  • RSS&苍产蝉辫;芯斜薪芯胁谢械薪懈褟

袞懈蟹薪械薪薪褘泄 褑懈泻谢

笑械谢懈 胁 芯斜谢邪褋褌懈 褍褋褌芯泄褔懈胁芯谐芯 褉邪蟹胁懈褌懈褟

袛邪薪薪褘泄 褋褌邪薪写邪褉褌 褉邪蟹褉邪斜芯褌邪薪 写谢褟 写芯褋褌懈卸械薪懈褟 褋谢械写褍褞褖懈褏 笑械谢褜 褍褋褌芯泄褔懈胁芯谐芯 褉邪蟹胁懈褌懈褟

9
袠薪写褍褋褌褉懈邪谢懈蟹邪褑懈褟, 懈薪薪芯胁邪褑懈懈 懈 懈薪褎褉邪褋褌褉褍泻褌褍褉邪

袩芯褟胁懈谢懈褋褜 胁芯锌褉芯褋褘?

袨蟹薪邪泻芯屑褜褌械褋褜 褋 FAQ

袪邪斜芯褌邪 褋 泻谢懈械薪褌邪屑懈
+41 22 749 08 88

效邪褋褘 褉邪斜芯褌褘:
袩芯薪械写械谢褜薪懈泻 – 锌褟褌薪懈褑邪: 09:00-12:00, 14:00-17:00 (UTC+1)

  2. 袠薪褌械褉薪械褌-屑邪谐邪蟹懈薪
  3. 袣邪褌邪谢芯谐 褋褌邪薪写邪褉褌芯胁
  4. 袦袣小
  5. 35
  6. 35.020
  7. 香港六合彩开奖/IEC 24029-2:2023