Rühenbeck, Tim (2014) Automatische Analyse und Verifikation von AIS-Daten. Bachelor's, Universität Bremen.
Full text not available from this repository.
Abstract
Automatische Analyse und Verifikation von AIS-Daten
| Item URL in elib: | https://elib.dlr.de/89513/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Thesis (Bachelor's) | ||||||||
| Title: | Automatische Analyse und Verifikation von AIS-Daten | ||||||||
| Authors: |
| ||||||||
| Date: | April 2014 | ||||||||
| Refereed publication: | No | ||||||||
| Open Access: | No | ||||||||
| Status: | Published | ||||||||
| Keywords: | Entwurfsautorisierung | ||||||||
| Institution: | Universität Bremen | ||||||||
| Department: | Fachbereich 3 - Mathematik und Informatik | ||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||
| HGF - Program: | Space | ||||||||
| HGF - Program Themes: | other | ||||||||
| DLR - Research area: | Raumfahrt | ||||||||
| DLR - Program: | R - no assignment | ||||||||
| DLR - Research theme (Project): | R - no assignment | ||||||||
| Location: | Bremen | ||||||||
| Institutes and Institutions: | Institute of Space Systems > Satellitensysteme Institute of Space Systems > Avionics Systems | ||||||||
| Deposited By: | Hagedorn, Natascha | ||||||||
| Deposited On: | 19 Jun 2014 11:53 | ||||||||
| Last Modified: | 03 Jul 2014 10:46 |
Repository Staff Only: item control page