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

Tracing Correctness: A Practical Approach to Traceable Runtime Monitoring

Baumeister, Jan (2020) Tracing Correctness: A Practical Approach to Traceable Runtime Monitoring. DLR-Interner Bericht. DLR-IB-FT-BS-2020-198. Master's.

[img] PDF - Only accessible within DLR
9MB

Item URL in elib:https://elib.dlr.de/194342/
Document Type:Monograph (DLR-Interner Bericht, Master's)
Title:Tracing Correctness: A Practical Approach to Traceable Runtime Monitoring
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Baumeister, JanUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Date:2020
Refereed publication:Yes
Open Access:No
Status:Published
Keywords:Formal Methods, Runtime Monitoring, Lola
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:rotorcraft
DLR - Research area:Aeronautics
DLR - Program:L RR - Rotorcraft Research
DLR - Research theme (Project):L - The Smart Rotorcraft (old)
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Unmanned Aircraft
Deposited By: Schirmer, Sebastian
Deposited On:26 Jan 2024 13:34
Last Modified:26 Jan 2024 13:34

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.