Semester: Wintersemester 2017

2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse -  

Veranstaltungstermin | Raum

• Montag, 16.10.2017 10:00 - 12:00 | A06 1-106
• Montag, 23.10.2017 10:00 - 12:00 | A06 1-106
• Mittwoch, 25.10.2017 10:00 - 12:00 | A06 1-106
• Mittwoch, 1.11.2017 10:00 - 12:00 | A06 1-106
• Montag, 6.11.2017 10:00 - 12:00 | A06 1-106
• Mittwoch, 8.11.2017 10:00 - 12:00 | A06 1-106
• Montag, 13.11.2017 10:00 - 12:00 | A06 1-106
• Mittwoch, 15.11.2017 10:00 - 12:00 | A06 1-106
• Montag, 20.11.2017 10:00 - 12:00 | A06 1-106
• Mittwoch, 22.11.2017 10:00 - 12:00 | A06 1-106
• Montag, 27.11.2017 10:00 - 12:00 | A06 1-106
• Mittwoch, 29.11.2017 10:00 - 12:00 | A06 1-106
• Montag, 4.12.2017 10:00 - 12:00 | A06 1-106
• Mittwoch, 6.12.2017 10:00 - 12:00 | A06 1-106
• Montag, 18.12.2017 10:00 - 12:00 | A06 1-106
• Mittwoch, 20.12.2017 10:00 - 12:00 | A06 1-106
• Montag, 8.1.2018 10:00 - 12:00 | A06 1-106
• Mittwoch, 10.1.2018 10:00 - 12:00 | A06 1-106
• Montag, 15.1.2018 10:00 - 12:00 | A06 1-106
• Mittwoch, 17.1.2018 10:00 - 12:00 | A06 1-106
• Montag, 22.1.2018 10:00 - 12:00 | A06 1-106
• Mittwoch, 24.1.2018 10:00 - 12:00 | A06 1-106
• Montag, 29.1.2018 10:00 - 12:00 | A06 1-106

lecturer

• Prof. Dr. Martin Georg Fränzle

TutorInnen

• Peter Nazier Mosaad
• Paul Kröger

Studienbereiche

• Studium generale / Gasthörstudium

Lehrsprache
deutsch

Anzahl der freigegebenen Plätze für Gasthörende
10

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.