TU Berlin

Fachgebiet RaumfahrttechnikPublikationen

Inhalt des Dokuments

zur Navigation

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

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe