文献
J-GLOBAL ID:201802263121673369
整理番号:18A1046799
深層学習のための形式的方法とソフトウェア工学に向けて:DLシステム開発のためのセキュリティ,安全性および生産性【JST・京大機械翻訳】
Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development
著者 (3件):
Hains Gaetan
(Huawei Parallel and Distributed Algorithms Lab., Huawei Paris Research Center, Boulogne-Billancourt, France)
,
Jakobsson Arvid
(Huawei Parallel and Distributed Algorithms Lab., Huawei Paris Research Center, Boulogne-Billancourt, France)
,
Khmelevsky Youry
(Okanagan College Computer Science Department and U.B.C. Okanagan, Okanagan (B.C.) Canada)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2018
号:
SysCon
ページ:
1-5
発行年:
2018年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)