Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Lehrveranstaltung: 2.01.455 Model Checking
Semester:
Wintersemester
2025
2.01.455 Model Checking -
Veranstaltungstermin | Raum
- Mittwoch, 15.10.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 16.10.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 22.10.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 23.10.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 29.10.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 30.10.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 5.11.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 6.11.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 12.11.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 13.11.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 19.11.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 20.11.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 26.11.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 27.11.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 3.12.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 4.12.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 10.12.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 11.12.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 17.12.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 18.12.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 7.1.2026 8:00 - 10:00 | A05 1-160
- Donnerstag, 8.1.2026 12:00 - 14:00 | A01 0-005
- Mittwoch, 14.1.2026 8:00 - 10:00 | A05 1-160
- Donnerstag, 15.1.2026 12:00 - 14:00 | A01 0-005
- Mittwoch, 21.1.2026 8:00 - 10:00 | A05 1-160
- Donnerstag, 22.1.2026 12:00 - 14:00 | A01 0-005
- Mittwoch, 28.1.2026 8:00 - 10:00 | A05 1-160
- Donnerstag, 29.1.2026 12:00 - 14:00 | A01 0-005
Lehrende
SWS
4
Lehrsprache
deutsch und englisch