Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Gaétan Hains
Laboratoire d'Informatique Fondamentale d'Orléans
Arvid Jakobsson
  • Fonction : Auteur
Laboratoire d'Informatique Fondamentale d'Orléans
Youry Khmelevsky
  • Fonction : Auteur
  • PersonId : 950768
Okanagan College

Domaines

Informatique [cs]
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
Origine : Fichiers produits par l'(les) auteur(s)

Gaétan Hains  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01819035

Soumis le : mardi 19 décembre 2023-08:29:21

Dernière modification le : samedi 23 décembre 2023-03:30:07

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ORLEANS LACL UPEC INSA-GROUPE INSA-CVL
93 Consultations
6 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More