Ende März habe ich meine Masterarbeit abgegeben und damit mein Studium beendet. Es ging um Formale Verifikation von Betriebssystemen. Konkret für Eingebettete Systeme, die vor allem in Fahrzeugen eingesetzt werden. Wer sich für die Details interessiert ist eingeladen den <a href="http://e-collection.ethbib.ethz.ch/view/eth:30359″ title=“Masterthesis Raphael Mack: Formal Verification of embedded operating systems“>Bericht unter http://e-collection.ethbib.ethz.ch/view/eth:30359 zu lesen.
Vielleicht gefällt dir auch
Die Schriftstellering Sudabeh Mohafez denkt über das Urheberrecht nach.
… Korntal ist komplett gemappt!
Wie in anderen Beiträgen auch schon rausgekommen sein dürfte bin ich sehr begeistert von OpenStreetMap und da an meinem Fahrradcomputer ja der […]
Patente gewähren ihrem Besitzer exklusive Rechte und werden darum als innovationsförderlich angesehen. Dazu wurden sie ja auch erschaffen. Debrah Meloso Jernej Copic […]