UMR CNRS 7253

Outils du site


fr:publis_hal

Communication dans un congrès

2020

auteur
Augustin Viot, Benjamin Lussier, Walter Schön, Stéphane Geronimi, Armando Tacchella
titre
Erroneous models in neural networks and their threats for formal verification
article
Congrès Lambda Mu 22, « Les risques au coeur des transisitions », Oct 2020, Le Havre, France. pp.596
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03144913/file/article%20sans%20marque%20lambda%20mu%20%2817-02-2021%29.pdf BibTex


Outils pour utilisateurs