Tell a friend
Print
Stein, Vera (2023) Formal Verification of ML-based Systems in Avionics. DLR-Interner Bericht. DLR-IB-FT-BS-2023-176. Master's. Technische Universtität Clausthal. 128 S.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
6MB |
| Item URL in elib: | https://elib.dlr.de/200458/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Monograph (DLR-Interner Bericht, Master's) | ||||||||
| Title: | Formal Verification of ML-based Systems in Avionics | ||||||||
| Authors: |
| ||||||||
| Date: | 2023 | ||||||||
| Refereed publication: | No | ||||||||
| Open Access: | Yes | ||||||||
| Gold Open Access: | No | ||||||||
| In SCOPUS: | No | ||||||||
| In ISI Web of Science: | No | ||||||||
| Number of Pages: | 128 | ||||||||
| Status: | Published | ||||||||
| Keywords: | Formal Verification, ML, AI, MBSE | ||||||||
| Institution: | Technische Universtität Clausthal | ||||||||
| Department: | Big Data and Technical Information Systems (BDIS) | ||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||
| HGF - Program: | Aeronautics | ||||||||
| HGF - Program Themes: | Components and Systems | ||||||||
| DLR - Research area: | Aeronautics | ||||||||
| DLR - Program: | L CS - Components and Systems | ||||||||
| DLR - Research theme (Project): | L - Aircraft Systems | ||||||||
| Location: | Braunschweig | ||||||||
| Institutes and Institutions: | Institute of Flight Systems > Safety Critical Systems&Systems Engineering Institute of Flight Systems | ||||||||
| Deposited By: | Ahlbrecht, Alexander | ||||||||
| Deposited On: | 30 Jan 2024 16:01 | ||||||||
| Last Modified: | 06 Feb 2024 07:57 |
Repository Staff Only: item control page
