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) |
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) |