direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Verification of the C++-operating system RODOS in context of a small-satellite
Zitatschlüssel gerlich.CompSpace.2018.TUBiX20
Autor Gerlich, Rainer; Gerlich, Ralf; Montenegro, Sergio; Dilger, Erik; Flederer, Frank; Gordon, Karsten and Barschke, Merlin F.
Buchtitel in Proceedings of the 2nd Workshop on Computer Architectures in Space
Jahr 2018
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe