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
Heute kam ein Paket von ATMEL, und ich dachte schon, ich hätte irgendwas bestellt, könne mich aber nicht mehr erinnern. Der Brief […]
Die leidvollen Erfahrungen mit verbranntem Brot aus dem Backhaus sollen ein Ende haben: Meine Tante Heidi hat mich mit ein paar nützlichen […]
Ja, ich weiß es wohl: Wie der Schreiner kann’s keiner! Ich habe es trotzdem versucht, nachdem ich zu Weihnachten „Das große Buch […]
Ich geh‘ ja auch gerne mal ne Runde Radfahren und es darf auch mal ein Pfad dabei sein, den nicht jeder fahren […]