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

Fichier principal
Vignette du fichier
Towards_formal_methods_and_software_engineering_for_deep_learning_Security_safety_and_productivity_for_dl_systems_development.pdf (6.29 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01819035 , version 1 (19-12-2023)

Licence

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⟩
98 View
12 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More