Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "ROY" and "Daniel"
Treffer 47 von 285
|
|
| Link zu diesem Datensatz | https://d-nb.info/1279478667 |
| Titel | Analysis of recurrent neural networks via property-directed verification of surrogate models / by Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
| Person(en) |
Khmelnitsky, Igor (Verfasser) Neider, Daniel (Verfasser) Roy, Rajarshi (Verfasser) Xie, Xuan (Verfasser) Barbot, Benoît (Verfasser) Bollig, Benedikt (Verfasser) Finkel, Alain (Verfasser) Haddad, Serge (Verfasser) Leucker, Martin (Verfasser) Ye, Lina (Verfasser) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Umfang/Format | Online-Ressource : online resource. |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2023012909030059699549 DOI: 10.1007/s10009-022-00684-w |
| URL | https://doi.org/10.1007/s10009-022-00684-w (Open Access) |
| Zeitliche Einordnung | Erscheinungsdatum: 2022 |
| DDC-Notation | 006.32 (maschinell ermittelte DDC-Kurznotation) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: International journal on software tools for technology transfer (16.11.2022: 1-14) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 47 von 285
Administration
