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
2023
2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co. -
Veranstaltungstermin | Raum
- Mittwoch, 12.4.2023 12:15 - 13:45 | A03 2-209
- Montag, 17.4.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 19.4.2023 12:15 - 13:45 | A02 3-334
- Montag, 24.4.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 26.4.2023 12:15 - 13:45 | A02 3-334
- Mittwoch, 3.5.2023 12:15 - 13:45 | A02 3-334
- Montag, 8.5.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 10.5.2023 12:15 - 13:45 | A02 3-334
- Montag, 15.5.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 17.5.2023 12:15 - 13:45 | A02 3-334
- Montag, 22.5.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 24.5.2023 12:15 - 13:45 | A02 3-334
- Mittwoch, 31.5.2023 12:15 - 13:45 | A02 3-334
- Montag, 5.6.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 7.6.2023 12:15 - 13:45 | A02 3-334
- Montag, 12.6.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 14.6.2023 12:15 - 13:45 | A02 3-334
- Montag, 19.6.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 21.6.2023 12:15 - 13:45 | A02 3-334
- Montag, 26.6.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 28.6.2023 12:15 - 13:45 | A02 3-334
- Montag, 3.7.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 5.7.2023 12:15 - 13:45 | A02 3-334
- Montag, 10.7.2023 14:15 - 15:45 | A02 3-334
- Mittwoch, 12.7.2023 12:15 - 13:45 | A02 3-334
Beschreibung
Formale Methoden sind Sprachen zur Spezifikation von Systemen, die eine formale Semantik besitzen. In der Vorlesung wollen wir uns mehrere solche Formale Methoden anschauen: Petrinetze und die Prozessalgebra CCS zur Spezifikation von parallelen Systemen sowie Realzeitautomaten zur Spezifikation von zeitkritischen Systemen. Für jede Sprache werden wir ihre Semantik definieren, uns Beispiele anschauen sowie Methoden der Analyse besprechen.
Lehrende
SWS
2