| Titel | Typ | Datum | Betreuer |
|---|---|---|---|
| Buffer-Overflow-Analyse mittels Bounded Model Checking | Diplomarbeit | Dr. Carsten Sinz |
|
| Neue Methoden zur Produktionsplanung in der Automobilindustrie | Diplomarbeit (Industrie) | ab sofort (Aushang: 02.08.2010) |
letzte Änderung:
31.05.2012
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft