サクサク読めて、アプリ限定の機能も多数!
形式手法がはてブで注目を浴びている!マジか!
syd_syd のブックマーク 2007/01/20 01:27
いまさら聞けない 形式手法入門(1/3) ― @IT[開発]形式手法がはてブで注目を浴びている!マジか!2007/01/20 01:27
このブックマークにはスターがありません。 最初のスターをつけてみよう!
atmarkit.itmedia.co.jp2007/01/18
世界各国でAI関連規制の整備が進む中で、AIシステムの開発に求められるのが「検証(Verification)」と「妥当性確認(Validation)」から成る「V&Vプロセス」である。特に、自動車や航空宇宙の分野を中心に高い安...
95 人がブックマーク・12 件のコメント
\ コメントが サクサク読める アプリです /
形式手法がはてブで注目を浴びている!マジか!
このブックマークにはスターがありません。
最初のスターをつけてみよう!
いまさら聞けない 形式手法入門(1/3) ― @IT
世界各国でAI関連規制の整備が進む中で、AIシステムの開発に求められるのが「検証(Verification)」と「妥当性確認(Validation)」から成る「V&Vプロセス」である。特に、自動車や航空宇宙の分野を中心に高い安...
95 人がブックマーク・12 件のコメント
\ コメントが サクサク読める アプリです /