Vorlesung: 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse - Details

Vorlesung: 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse - Details

Nachrichtenbox schließen
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
Untertitel inf205
Veranstaltungsnummer 2.01.205
Semester WiSe23/24
Aktuelle Anzahl der Teilnehmenden 4
erwartete Teilnehmendenanzahl 25
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Mittwoch, 18.10.2023 08:00 - 10:00, Ort: A03 4-403
Art/Form V+Ü
Lehrsprache deutsch

Räume und Zeiten

A03 4-403
Mittwoch: 08:00 - 10:00, wöchentlich (14x)
Donnerstag: 16:00 - 18:00, wöchentlich (14x)

Modulzuordnungen

Kommentar/Beschreibung

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.