Tell a friend
Print
Patil, Girish (2021) Model Checking SpaceWire Computer Network. Master's, Hochschule Deggendorf.
Full text not available from this repository.
| Item URL in elib: | https://elib.dlr.de/213014/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Thesis (Master's) | ||||||||
| Title: | Model Checking SpaceWire Computer Network | ||||||||
| Authors: |
| ||||||||
| Date: | 2021 | ||||||||
| Open Access: | No | ||||||||
| Status: | Published | ||||||||
| Keywords: | Model Checking, Space Wire | ||||||||
| Institution: | Hochschule Deggendorf | ||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||
| HGF - Program: | Space | ||||||||
| HGF - Program Themes: | Space System Technology | ||||||||
| DLR - Research area: | Raumfahrt | ||||||||
| DLR - Program: | R SY - Space System Technology | ||||||||
| DLR - Research theme (Project): | R - Formal verification | ||||||||
| Location: | Braunschweig | ||||||||
| Institutes and Institutions: | Institute of Software Technology > Visual Computing and Engineering | ||||||||
| Deposited By: | Fischer, Philipp M. | ||||||||
| Deposited On: | 27 Feb 2025 14:37 | ||||||||
| Last Modified: | 27 Feb 2025 14:37 |
Repository Staff Only: item control page
