Embedded Systems
| Name | Course Type | Name | Credits | ID |
|---|
| Regelung und Wahrnehmung in Vernetzten und Autonomen Fahrzeugen | () Vorlesung | Regelung und Wahrnehmung in vernetzten und autonomen Fahrzeugen | | 512767 |
| () Laborübung | Regelung und Wahrnehmung in vernetzten und autonomen Fahrzeugen | 0 | 513006 |
| () Laborübung | Regelung und Wahrnehmung in vernetzten und autonomen Fahrzeugen | 6 | 513006 |
| Datenkommunikation | () Vorlesung | Datenkommunikation | 0 | 510765 |
| () Tutorium | Datenkommunikation - Übungsgruppen | 0 | 510368 |
| () Übung | Datenkommunikation - Diskussionsstunde | 0 | 511848 |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 521373 |
| () Übung | Introduction to Model Checking | 0 | 521372 |