Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

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

No file

Dates and versions

hal-01819035 , version 1 (19-06-2018)

Identifiers

Cite

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⟩
79 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More