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:
Wintersemester
2019
2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse -
Veranstaltungstermin | Raum
- Mittwoch, 16.10.2019 10:00 - 12:00 | A03 4-402
- Mittwoch, 23.10.2019 10:00 - 12:00 | A03 4-402
- Mittwoch, 30.10.2019 10:00 - 12:00 | A03 4-402
- Freitag, 1.11.2019 10:00 - 12:00 | A03 4-402
- Mittwoch, 6.11.2019 10:00 - 12:00 | A03 4-402
- Freitag, 8.11.2019 10:00 - 12:00 | A03 4-402
- Mittwoch, 13.11.2019 10:00 - 12:00 | A03 4-402
- Freitag, 15.11.2019 10:00 - 12:00 | A03 4-402
- Mittwoch, 20.11.2019 10:00 - 12:00 | A03 4-402
- Freitag, 22.11.2019 10:00 - 12:00 | A03 4-402
- Mittwoch, 27.11.2019 10:00 - 12:00 | A03 4-402
- Freitag, 29.11.2019 10:00 - 12:00 | A03 4-402
- Mittwoch, 11.12.2019 10:00 - 12:00 | A03 4-402
- Freitag, 13.12.2019 10:00 - 12:00 | A03 4-402
- Mittwoch, 18.12.2019 10:00 - 12:00 | A03 4-402
- Freitag, 20.12.2019 10:00 - 12:00 | A03 4-402
- Mittwoch, 8.1.2020 10:00 - 12:00 | A03 4-402
- Freitag, 10.1.2020 10:00 - 12:00 | A03 4-402
- Mittwoch, 15.1.2020 10:00 - 12:00 | A03 4-402
- Freitag, 17.1.2020 10:00 - 12:00 | A03 4-402
- Mittwoch, 22.1.2020 10:00 - 12:00 | A03 4-402
- Freitag, 24.1.2020 10:00 - 12:00 | A03 4-402
- Mittwoch, 29.1.2020 10:00 - 12:00 | A03 4-402
- Freitag, 31.1.2020 10:00 - 12:00 | A03 4-402
Lehrende
Studienbereiche
- Studium generale / Gasthörstudium
Lehrsprache
deutsch
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.