TU München - Fakultät für
Informatik
Chair IV: Software & Systems Engineering
|
|
TU München - Fakultät für
Informatik |
|
|
Home | Research/Competence | Teaching | People | Publications | Misc | Contact | |
|
|
 |
 |
 |
|
Research assistant and doctoral candidate in formal methods in hazard analysis of software-controlled technical systems. |
|||||
in.tum.de
