Rühenbeck, Tim (2014) Automatische Analyse und Verifikation von AIS-Daten. Bachelorarbeit, Universität Bremen.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Kurzfassung
Automatische Analyse und Verifikation von AIS-Daten
| elib-URL des Eintrags: | https://elib.dlr.de/89513/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Hochschulschrift (Bachelorarbeit) | ||||||||
| Titel: | Automatische Analyse und Verifikation von AIS-Daten | ||||||||
| Autoren: |
| ||||||||
| Datum: | April 2014 | ||||||||
| Referierte Publikation: | Nein | ||||||||
| Open Access: | Nein | ||||||||
| Status: | veröffentlicht | ||||||||
| Stichwörter: | Entwurfsautorisierung | ||||||||
| Institution: | Universität Bremen | ||||||||
| Abteilung: | Fachbereich 3 - Mathematik und Informatik | ||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||
| HGF - Programm: | Raumfahrt | ||||||||
| HGF - Programmthema: | keine Zuordnung | ||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||
| DLR - Forschungsgebiet: | R - keine Zuordnung | ||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - keine Zuordnung | ||||||||
| Standort: | Bremen | ||||||||
| Institute & Einrichtungen: | Institut für Raumfahrtsysteme > Satellitensysteme Institut für Raumfahrtsysteme > Avioniksysteme | ||||||||
| Hinterlegt von: | Hagedorn, Natascha | ||||||||
| Hinterlegt am: | 19 Jun 2014 11:53 | ||||||||
| Letzte Änderung: | 03 Jul 2014 10:46 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags