guest ::
Architecture-oriented safety verification of transformer networks via program analysis
2023
Masterarbeit, RWTH Aachen University, 2023
Genehmigende Fakultät
Fak01
Hauptberichter/Gutachter
; ;
Tag der mündlichen Prüfung/Habilitation
2023-10-16
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Master Thesis
Format
print
Sprache
English
Interne Identnummern
RWTH-2024-00785
Datensatz-ID: 977553
Beteiligte Länder
Germany
|
The record appears in these collections: |
Record created 2024-01-24, last modified 2024-02-24
Restricted:
PDF
PDF