direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Verification of the C++-operating system RODOS in context of a small-satellite
Citation key gerlich.CompSpace.2018.TUBiX20
Author Gerlich, Rainer; Gerlich, Ralf; Montenegro, Sergio; Dilger, Erik; Flederer, Frank; Gordon, Karsten and Barschke, Merlin F.
Title of Book in Proceedings of the 2nd Workshop on Computer Architectures in Space
Year 2018
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions