Versenden
Drucken
Patil, Girish (2021) Model Checking SpaceWire Computer Network. Masterarbeit, Hochschule Deggendorf.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
| elib-URL des Eintrags: | https://elib.dlr.de/213014/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Hochschulschrift (Masterarbeit) | ||||||||
| Titel: | Model Checking SpaceWire Computer Network | ||||||||
| Autoren: |
| ||||||||
| Datum: | 2021 | ||||||||
| Open Access: | Nein | ||||||||
| Status: | veröffentlicht | ||||||||
| Stichwörter: | Model Checking, Space Wire | ||||||||
| Institution: | Hochschule Deggendorf | ||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||
| HGF - Programm: | Raumfahrt | ||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Formale Verifikation | ||||||||
| Standort: | Braunschweig | ||||||||
| Institute & Einrichtungen: | Institut für Softwaretechnologie > Visual Computing and Engineering | ||||||||
| Hinterlegt von: | Fischer, Philipp M. | ||||||||
| Hinterlegt am: | 27 Feb 2025 14:37 | ||||||||
| Letzte Änderung: | 27 Feb 2025 14:37 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
