Informationen für Gasthörende

Zu erwartende TeilnehmerInnenzahl:
25
Zeit:
Mittwoch: 10:00 - 12:00, wöchentlich (ab 20.10.2021) k.A. Freitag: 12:00 - 14:00, wöchentlich (ab 22.10.2021) k.A.
Ort:
Keine Raumangabe Mittwoch: 10:00 - 12:00, wöchentlich Freitag: 12:00 - 14:00, wöchentlich
Voraussetzungen:
Angaben zum Inhalt:
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.
Schließen