Semester: Winter term 2021

2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse -  

Event date(s) | room

• Mittwoch, 20.10.2021 10:00 - 12:00
• Freitag, 22.10.2021 12:00 - 14:00
• Mittwoch, 27.10.2021 10:00 - 12:00
• Freitag, 29.10.2021 12:00 - 14:00
• Mittwoch, 3.11.2021 10:00 - 12:00
• Freitag, 5.11.2021 12:00 - 14:00
• Mittwoch, 10.11.2021 10:00 - 12:00
• Freitag, 12.11.2021 12:00 - 14:00
• Mittwoch, 17.11.2021 10:00 - 12:00
• Freitag, 19.11.2021 12:00 - 14:00
• Mittwoch, 24.11.2021 10:00 - 12:00
• Freitag, 26.11.2021 12:00 - 14:00
• Mittwoch, 1.12.2021 10:00 - 12:00
• Freitag, 3.12.2021 12:00 - 14:00
• Mittwoch, 8.12.2021 10:00 - 12:00
• Freitag, 10.12.2021 12:00 - 14:00
• Mittwoch, 15.12.2021 10:00 - 12:00
• Freitag, 17.12.2021 12:00 - 14:00
• Mittwoch, 22.12.2021 10:00 - 12:00
• Freitag, 7.1.2022 12:00 - 14:00
• Mittwoch, 12.1.2022 10:00 - 12:00
• Freitag, 14.1.2022 12:00 - 14:00
• Mittwoch, 19.1.2022 10:00 - 12:00
• Freitag, 21.1.2022 12:00 - 14:00
• Mittwoch, 26.1.2022 10:00 - 12:00
• Freitag, 28.1.2022 12:00 - 14:00
• Mittwoch, 2.2.2022 10:00 - 12:00
• Freitag, 4.2.2022 12:00 - 14:00

Lecturers

• Prof. Dr. Martin Georg Fränzle
• Rabeaeh Kiaghadi
• Paul Kröger

Study fields

• Studium generale / Gasthörstudium

SWS
4

Art der Lehre
Ausschließlich Online

Für Gasthörende / Studium generale geöffnet:
Ja

Hinweise zum Inhalt der Veranstaltung für Gasthörende
In der Veranstaltung werden die semantischen, logischen und algorithmischen Grundlagen der automatischen Analyse eingebetteter Softwaresysteme vermittelt. Die primäre Unterweisungsform ist hierbei der medial unterstützte Vortrag sowie das didaktische Frage-Antwort-Spiel, wobei als unterstützende Medien Präsentationen, Animationen und Werkzeugvorführungen dienen.