Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

Courses in Winter Term 2013/14

IT-Systems Engineering BA

Modellierung I 93 HPI-MO Modellierungssprachen und Formalismen I Prof. Dr. Holger Giese , Thomas Vogel

IT-Systems Engineering MA

Automated Analysis of Formal Models 94 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 Systems 95 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