|
|
In der Arbeitsgruppe ist die Förderung des wissenschaftlichen Nachwuchs von großer Bedeutung.
Die folgenden Dissertationen sind in der Arbeitsgruppe entstanden.
Die Liste gibt einen chronologischen Überblick über die Absolventen sowie die Titel
der jeweiligen Dissertationen.
|
|
| Name |
Thema |
Jahr |
| Große, Daniel |
Quality-Driven Design and Verification Flow for Digital Systems |
2008 |
| Kinder, Sebastian |
Automated Validation and Verification of Railway Specific Components and Systems |
2008 |
| Shi, Junhao |
Boolean Techniques in Testing of Digital Circuits |
2007 |
| Fey, Görschwin |
Increasing Rubustness and Usability of Circuit Design Tools by Using Formal Techniques |
2006 |
|
|
|
