Tell a friend
Print
Baumeister, Jan (2020) Tracing Correctness: A Practical Approach to Traceable Runtime Monitoring. DLR-Interner Bericht. DLR-IB-FT-BS-2020-198. Master's.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
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: |
| ||||||||
| 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
