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⟩