elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] 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. Masterarbeit.

WarnungEs ist eine neuere Version dieses Eintrags verfügbar.

[img] PDF - Nur DLR-intern zugänglich
9MB

elib-URL des Eintrags:https://elib.dlr.de/138950/
Dokumentart:Berichtsreihe (DLR-Interner Bericht, Masterarbeit)
Titel:Tracing Correctness: A Practical Approach to Traceable Runtime Monitoring
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Baumeister, JanNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2020
Referierte Publikation:Ja
Open Access:Nein
Status:veröffentlicht
Stichwörter:Formal Methods, Runtime Monitoring, Lola
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Hubschrauber
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L RR - Rotorcraft Research
DLR - Teilgebiet (Projekt, Vorhaben):L - Der intelligente Drehflügler (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Unbemannte Luftfahrzeuge
Hinterlegt von: Schirmer, Sebastian
Hinterlegt am:23 Dez 2020 15:29
Letzte Änderung:23 Dez 2020 15:29

Verfügbare Versionen dieses Eintrags

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.