あいまいさを排除した形式仕様記述で記述された仕様

loopeiloopei のブックマーク 2007/01/19 22:52

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

いまさら聞けない 形式手法入門(1/3) ― @IT

    世界各国でAI関連規制の整備が進む中で、AIシステムの開発に求められるのが「検証(Verification)」と「妥当性確認(Validation)」から成る「V&Vプロセス」である。特に、自動車や航空宇宙の分野を中心に高い安...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう