Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development

Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-01819035
Contributor : Arvid Jakobsson <>
Submitted on : Tuesday, June 19, 2018 - 8:22:41 PM
Last modification on : Thursday, January 17, 2019 - 3:06:06 PM

Identifiers

Collections

Citation

Gaétan Hains, Arvid Jakobsson, Youry Khmelevsky. Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development. 2018 Annual IEEE International Systems Conference (SysCon), Apr 2018, Vancouver, France. ⟨10.1109/SYSCON.2018.8369576⟩. ⟨hal-01819035⟩

Share

Metrics

Record views

43