Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01819035
Contributor : Arvid Jakobsson Connect in order to contact the contributor
Submitted on : Tuesday, June 19, 2018 - 8:22:41 PM
Last modification on : Saturday, June 25, 2022 - 10:12:58 AM

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

72