Hier sind einige Arbeiten von mir verfügbar, die ich während meines Studiums produziert habe.
| Titel |
Stand |
Art |
|
| Fehlerbaumverifikation durch Modelchecking mit Uppaal |
November 2004 |
Vortrag auf der Absolventenfeier |
[.pdf]
|
| Fehlerbaumverifikation durch Modelchecking mit Uppaal |
Juli 2004 |
Diplomarbeit |
[.pdf]
|
| Systemtechnische Aspekte der Mikrosystemtechnik |
März 2003 |
Seminararbeit Mikrosystemtechnik |
[.pdf]
|
| Verantwortungsverteilung in der Informatik |
Februar 2002 |
Seminararbeit Ethische Fragen der Informatik |
[.pdf]
|
| Gitterbasierte Datenmodelle |
Januar 2002 |
Seminararbeit Umweltinformationssysteme |
[.pdf]
|
| Die Moby Klassenbibliothek |
Dezember 2002 |
Seminararbeit zur Projektgruppe KautS |
[.pdf] |
Fk. II
Seite empfehlen![[Logo]](http://theoretica.informatik.uni-oldenburg.de/pics/logos/logo-csd.gif){kind=logo}