8 of 8 courses
| Formale Methoden für Steuerungssoftware | Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 6 | ×13Di 10:30-12:003220|259×13Do 10:30-12:003220|259 |
| Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | Do 25.02.2027 11:00-13:00Do 25.03.2027 11:00-13:00 | |
| Datenkommunikation | Datenkommunikation | Vorlesung | 0 | ×15Di 14:30-16:00TEMP1 (1515|001)×1Fr 10:30-14:30P1 (3210|108)×1Fr 10:30-14:30P3 (3210|121)×1Fr 10:30-14:30P4 (3210|142)×15Fr 10:30-12:00TEMP1 (1515|001)×1Fr 11:30-14:00P3 (3210|121)×1Fr 11:30-14:00P4 (3210|142) |
| Datenkommunikation - Übungsgruppen | Tutorium | 0 | ×15StandardgruppeMo 10:30-12:00t.b.d.×15Übungsgruppe 01Mo 08:30-10:005056 (2356|056)×15Übungsgruppe 01Mo 10:30-12:00t.b.d.×15Übungsgruppe 02Mo 08:30-10:005055 (2356|055)×15Übungsgruppe 02Mo 10:30-12:00t.b.d.×15Übungsgruppe 03Mo 10:30-12:00t.b.d.×15Übungsgruppe 03Fr 12:30-14:005056 (2356|056)×15Übungsgruppe 04Mo 10:30-12:00t.b.d.×15Übungsgruppe 04Fr 14:30-16:005054 (2356|054)×15Übungsgruppe 05Mo 10:30-12:00t.b.d.×15Übungsgruppe 05Mo 18:30-20:005054 (2356|054)×15Übungsgruppe 06Mo 10:30-12:00t.b.d.×15Übungsgruppe 06Mo 12:30-14:005056 (2356|056)×15Übungsgruppe 07Mo 08:30-10:005052 (2356|052)×15Übungsgruppe 07Mo 10:30-12:00t.b.d.×15Übungsgruppe 08Mo 10:30-12:00t.b.d.×15Übungsgruppe 08Mo 12:30-14:00Z4 (1420|301)×15Übungsgruppe 09Mo 10:30-12:00t.b.d.×15Übungsgruppe 09Mo 12:30-14:00BS 312 (2130|312)×15Übungsgruppe 10Mo 10:30-12:00t.b.d.×15Übungsgruppe 10Fr 12:30-14:005055 (2356|055)×15Übungsgruppe 11Mo 10:30-12:00t.b.d.×15Übungsgruppe 11Mo 14:30-16:005054 (2356|054)×15Übungsgruppe 12Mo 10:30-12:00t.b.d.×15Übungsgruppe 12Mo 14:30-16:00S14 (1385|214)×15Übungsgruppe 13Mo 10:30-12:00t.b.d.×15Übungsgruppe 13Mo 12:30-14:005055 (2356|055)×15Übungsgruppe 14Mo 10:30-12:00t.b.d.×15Übungsgruppe 14Mo 14:30-16:00Z2 (1420|303)×15Übungsgruppe 15Mo 10:30-12:00t.b.d.×15Übungsgruppe 15Fr 12:30-14:005052 (2356|052)×15Übungsgruppe 16Mo 08:30-10:00Z3 (1420|302)×15Übungsgruppe 16Mo 10:30-12:00t.b.d.×15Übungsgruppe 17Mo 10:30-12:00t.b.d.×15Übungsgruppe 17Mo 12:30-14:00Z3 (1420|302)×15Übungsgruppe 18Mo 10:30-12:00t.b.d.×15Übungsgruppe 18Mo 18:30-20:005052 (2356|052)×15Übungsgruppe 19Mo 10:30-12:00t.b.d.×15Übungsgruppe 19Mo 18:30-20:005056 (2356|056)×15Übungsgruppe 20Mo 10:30-12:00t.b.d.×15Übungsgruppe 20Mo 18:30-20:005055 (2356|055)×15Übungsgruppe 21Mo 10:30-12:00t.b.d.×15Übungsgruppe 21Mo 12:30-14:00Z1 (1420|304)×15Übungsgruppe 22Mo 10:30-12:00t.b.d.×15Übungsgruppe 22Mo 16:30-18:00S11 (1385|211)×15Übungsgruppe 23Mo 08:30-10:005054 (2356|054)×15Übungsgruppe 23Mo 10:30-12:00t.b.d.×15Übungsgruppe 24Mo 10:30-12:00t.b.d.×15Übungsgruppe 24Mo 10:30-12:00Z3 (1420|302)×15Übungsgruppe 25Mo 10:30-12:00t.b.d.×15Übungsgruppe 25Fr 14:30-16:00R 220 (1080|220) | |
| Datenkommunikation - Diskussionsstunde | Übung | 0 | ×15Do 12:30-14:00TEMP1 (1515|001) | |
| Rapid Control Prototyping | Rapid Control Prototyping | Fach-/Modulprüfung | 5 | Di 09.02.2027 12:00-13:00ZuseLab S1 (2315|203) |
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×15Mi 14:30-16:00AH I (2350|028)×15Do 16:30-18:00AH I (2350|028) |
| Introduction to Model Checking | Übung | 0 | ×15Fr 12:30-14:00AH I (2350|028) |