Baumeister, Jan
(2020)
Tracing Correctness: A Practical Approach to Traceable Runtime Monitoring.
DLR-Interner Bericht.
DLR-IB-FT-BS-2020-198.
Masterarbeit.
|
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: | Autoren | Institution oder E-Mail-Adresse | Autoren-ORCID-iD | ORCID Put Code |
---|
Baumeister, Jan | NICHT SPEZIFIZIERT | NICHT SPEZIFIZIERT | NICHT 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