Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Lehrveranstaltungen WiSe 2013/2014

IT-Systems Engineering BA

Modellierung I93 Modellierung I Prof. Dr. Holger Giese , Thomas Vogel

IT-Systems Engineering MA

Automated Analysis of Formal Models94 IT-Systems Engineering A, IT-Systems Engineering B, IT-Systems Engineering C, IT-Systems Engineering D, Software Architecture & Modeling Technology Prof. Dr. Holger Giese , Dr. Leen Lambers , Johannes Dyck
Software Engineering for Embedded Systems95 IT-Systems Engineering A, IT-Systems Engineering B, IT-Systems Engineering C, IT-Systems Engineering D, Software Architecture & Modeling Technology, IT-Systems Engineering Analyse Prof. Dr. Holger Giese , Dipl.-Inform. Stefan Neumann , M.Sc. Sebastian Wätzoldt