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. Master's. DLR-Interner Bericht. DLR-IB-FT-BS-2020-198.

[img] PDF - Registered users only
9MB

Item URL in elib:https://elib.dlr.de/138950/
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 iD
Baumeister, JanUNSPECIFIEDUNSPECIFIED
Date:2020
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science: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:23 Dec 2020 15:29
Last Modified:23 Dec 2020 15:29

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.