Versenden
Drucken
Stein, Vera (2023) Formal Verification of ML-based Systems in Avionics. DLR-Interner Bericht. DLR-IB-FT-BS-2023-176. Masterarbeit. Technische Universtität Clausthal. 128 S.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
6MB |
| elib-URL des Eintrags: | https://elib.dlr.de/200458/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Berichtsreihe (DLR-Interner Bericht, Masterarbeit) | ||||||||
| Titel: | Formal Verification of ML-based Systems in Avionics | ||||||||
| Autoren: |
| ||||||||
| Datum: | 2023 | ||||||||
| Referierte Publikation: | Nein | ||||||||
| Open Access: | Ja | ||||||||
| Gold Open Access: | Nein | ||||||||
| In SCOPUS: | Nein | ||||||||
| In ISI Web of Science: | Nein | ||||||||
| Seitenanzahl: | 128 | ||||||||
| Status: | veröffentlicht | ||||||||
| Stichwörter: | Formal Verification, ML, AI, MBSE | ||||||||
| Institution: | Technische Universtität Clausthal | ||||||||
| Abteilung: | Big Data and Technical Information Systems (BDIS) | ||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||
| HGF - Programm: | Luftfahrt | ||||||||
| HGF - Programmthema: | Komponenten und Systeme | ||||||||
| DLR - Schwerpunkt: | Luftfahrt | ||||||||
| DLR - Forschungsgebiet: | L CS - Komponenten und Systeme | ||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | L - Flugzeugsysteme | ||||||||
| Standort: | Braunschweig | ||||||||
| Institute & Einrichtungen: | Institut für Flugsystemtechnik > Sichere Systeme und System Engineering Institut für Flugsystemtechnik | ||||||||
| Hinterlegt von: | Ahlbrecht, Alexander | ||||||||
| Hinterlegt am: | 30 Jan 2024 16:01 | ||||||||
| Letzte Änderung: | 06 Feb 2024 07:57 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
