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

Allgemeine Informationen

Veranstaltungsname	Vorlesung: 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
Untertitel	inf205
Veranstaltungsnummer	2.01.205
Semester	WiSe17/18
Aktuelle Anzahl der Teilnehmenden	3
erwartete Teilnehmendenanzahl	25
Heimat-Einrichtung	Department für Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Erster Termin	Montag, 16.10.2017 10:00 - 12:00, Ort: A06 1-106
Art/Form	3V+1Ü
Lehrsprache	deutsch

Lehrende

• Prof. Dr. Martin Georg Fränzle

Tutor/-innen

• Peter Nazier Mosaad
• Paul Kröger

Räume und Zeiten

A06 1-106

Montag: 10:00 - 12:00, wöchentlich (12x)

Mittwoch: 10:00 - 12:00, wöchentlich (11x)

Studienbereiche

• Campusmanagementsystem Stud.IP
  • Interdisziplinäre Lehreinrichtungen
    • Center für lebenslanges Lernen
      • Studium generale / Gasthörstudium

Modulzuordnungen

• Campusmanagementsystem Stud.IP
  • Informatik - Zwei-Fächer-Bachelor-Studiengang
    • Wahlpflicht Technische Informatik (30 KP)
      • inf205 - Formale Methoden Eingebetteter Systeme
        • Vorlesung
  • Informatik - Fach-Bachelor-Studiengang
    • Akzentsetzungsbereich - Wahlbereich Informatik
      • inf205 - Formale Methoden Eingebetteter Systeme
        • Vorlesung
  • Informatik - Master of Education (Gymnasium)-Studiengang
    • Wahlpflichtmodule (Technische Informatik)
      • inf205 - Formale Methoden Eingebetteter Systeme
        • Vorlesung

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".

Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:

• Die Anmeldung ist gesperrt.