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 | | 538594 |
| () Laborübung | Regelung und Wahrnehmung in vernetzten und autonomen Fahrzeugen | 0 | 538861 |
| () Laborübung | Regelung und Wahrnehmung in vernetzten und autonomen Fahrzeugen | 6 | 538861 |
| Formale Methoden für Steuerungssoftware | () Vorlesung/Übung | Formale Methoden für Steuerungssoftware | 6 | 558278 |
| Datenkommunikation | () Vorlesung | Datenkommunikation | 0 | 536704 |
| () Tutorium | Datenkommunikation - Übungsgruppen | 0 | 536315 |
| () Übung | Datenkommunikation - Diskussionsstunde | 0 | 537737 |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 537573 |
| () Übung | Introduction to Model Checking | 0 | 536600 |