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

Type de document :
Communication dans un congrès
2018 Annual IEEE International Systems Conference (SysCon), Apr 2018, Vancouver, France. IEEE, 〈10.1109/SYSCON.2018.8369576〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01819035
Contributeur : Arvid Jakobsson <>
Soumis le : mardi 19 juin 2018 - 20:22:41
Dernière modification le : jeudi 17 janvier 2019 - 15:06:06

Identifiants

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. IEEE, 〈10.1109/SYSCON.2018.8369576〉. 〈hal-01819035〉

Partager

Métriques

Consultations de la notice

38