Wintersemester 13/14

Einführung in die Technische Informatik

• Vorlesung (V4/Ü2)
• ECTS: 6
• Betreuer: Dr. rer. nat. Igor Kalkov, Christian Dernehl, M.Sc.

Praktikum Systemprogrammierung

• Praktikum
• ECTS: 6
• Betreuer: Dr.-Ing. Thomas Gerlitz, Dr.-Ing. Mathias Obster

Dynamische Systeme für Informatiker

• Vorlesung (V3/Ü1)
• ECTS: 6
• Betreuer: Dipl.-Ing. (FH) Jan Kühn, M.Sc.,Dipl.-Inform. Paul Hänsch

State/event-based software specification & analysis

• Seminar/Hauptseminar
• ECTS: 4
• Betreuer: Marc Förster, M.Sc.

Safe and Sound: Testing and Model Checking of Embedded Systems

• Seminar/Hauptseminar
• ECTS: 4
• Betreuer: Dipl.-Ing. (FH) Jan Kühn, M.Sc., Dipl.-Inform. Norbert Wiechowski

Pimp my 3D Printer

• Praktikum
• ECTS: 4
• Betreuer: Dr.-Ing. André Stollenwerk