elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Formal Verification of ML-based Systems in Avionics

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] 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:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Stein, VeraUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
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

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.