Veranstaltung
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.
Veranstaltung
Semester:
Sommersemester
2025
2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co. -
Veranstaltungstermin | Raum
- Montag, 7.4.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 8.4.2025 14:00 - 16:00 | A02 3-334
- Montag, 14.4.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 15.4.2025 14:00 - 16:00 | A02 3-334
- Dienstag, 22.4.2025 14:00 - 16:00 | A02 3-334
- Montag, 28.4.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 29.4.2025 14:00 - 16:00 | A02 3-334
- Montag, 5.5.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 6.5.2025 14:00 - 16:00 | A02 3-334
- Montag, 12.5.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 13.5.2025 14:00 - 16:00 | A02 3-334
- Montag, 19.5.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 20.5.2025 14:00 - 16:00 | A02 3-334
- Montag, 26.5.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 27.5.2025 14:00 - 16:00 | A02 3-334
- Montag, 2.6.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 3.6.2025 14:00 - 16:00 | A02 3-334
- Dienstag, 10.6.2025 14:00 - 16:00 | A02 3-334
- Montag, 16.6.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 17.6.2025 14:00 - 16:00 | A02 3-334
- Montag, 23.6.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 24.6.2025 14:00 - 16:00 | A02 3-334
- Montag, 30.6.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 1.7.2025 14:00 - 16:00 | A02 3-334
- Montag, 7.7.2025 10:00 - 12:00 | A02 3-334
- Dienstag, 8.7.2025 14:00 - 16:00 | A02 3-334
Veranstaltungsort
- A02 3-334
Beschreibung
Formale Methoden sind mathematisch wohldefinierte Sprachen zur Modellierung von Systemen. Die Studierenden bekommen einen Überblick über verschiedene formale Methoden und ihren Einsatz bei der Modellierung und Analyse von Informatik-Systemen.
Lehrende
SWS
4