Event

The dates and events shown here are dynamically displayed from Stud.IP.

Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.

Event

Semester: Winter term 2023

2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse -  


Event date(s) | room

  • Mittwoch, 18.10.2023 8:00 - 10:00 | A03 4-403
  • Donnerstag, 19.10.2023 16:00 - 18:00 | A03 4-403
  • Mittwoch, 25.10.2023 8:00 - 10:00 | A03 4-403
  • Donnerstag, 26.10.2023 16:00 - 18:00 | A03 4-403
  • Mittwoch, 1.11.2023 8:00 - 10:00 | A03 4-403
  • Donnerstag, 2.11.2023 16:00 - 18:00 | A03 4-403
  • Mittwoch, 8.11.2023 8:00 - 10:00 | A03 4-403
  • Donnerstag, 9.11.2023 16:00 - 18:00 | A03 4-403
  • Mittwoch, 15.11.2023 8:00 - 10:00 | A03 4-403
  • Donnerstag, 16.11.2023 16:00 - 18:00 | A03 4-403
  • Mittwoch, 22.11.2023 8:00 - 10:00 | A03 4-403
  • Donnerstag, 23.11.2023 16:00 - 18:00 | A03 4-403
  • Mittwoch, 29.11.2023 8:00 - 10:00 | A03 4-403
  • Donnerstag, 30.11.2023 16:00 - 18:00 | A03 4-403
  • Mittwoch, 6.12.2023 8:00 - 10:00 | A03 4-403
  • Donnerstag, 7.12.2023 16:00 - 18:00 | A03 4-403
  • Mittwoch, 13.12.2023 8:00 - 10:00 | A03 4-403
  • Donnerstag, 14.12.2023 16:00 - 18:00 | A03 4-403
  • Mittwoch, 20.12.2023 8:00 - 10:00 | A03 4-403
  • Donnerstag, 21.12.2023 16:00 - 18:00 | A03 4-403
  • Mittwoch, 10.1.2024 8:00 - 10:00 | A03 4-403
  • Donnerstag, 11.1.2024 16:00 - 18:00 | A03 4-403
  • Mittwoch, 17.1.2024 8:00 - 10:00 | A03 4-403
  • Donnerstag, 18.1.2024 16:00 - 18:00 | A03 4-403
  • Mittwoch, 24.1.2024 8:00 - 10:00 | A03 4-403
  • Donnerstag, 25.1.2024 16:00 - 18:00 | A03 4-403
  • Mittwoch, 31.1.2024 8:00 - 10:00 | A03 4-403
  • Donnerstag, 1.2.2024 16:00 - 18:00 | A03 4-403

Description

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.

Lecturers

Study fields

  • Studium generale / Gasthörstudium

SWS
4

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

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.

Hinweise zur Teilnahme für Gasthörende
Lehrsprache deutsch und englisch

(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page