Versenden
Drucken
Baumeister, Jan (2020) Tracing Correctness: A Practical Approach to Traceable Runtime Monitoring. DLR-Interner Bericht. DLR-IB-FT-BS-2020-198. Masterarbeit.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Nur DLR-intern zugänglich
9MB |
| elib-URL des Eintrags: | https://elib.dlr.de/194342/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Berichtsreihe (DLR-Interner Bericht, Masterarbeit) | ||||||||
| Titel: | Tracing Correctness: A Practical Approach to Traceable Runtime Monitoring | ||||||||
| Autoren: |
| ||||||||
| 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: | 26 Jan 2024 13:34 | ||||||||
| Letzte Änderung: | 26 Jan 2024 13:34 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
