Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Disputation Herr M. Eng. Ming Chai

  • Wann 21.12.2015 von 15:15 bis 16:30
  • Wo Rudower Chaussee 25, Humboldt-Kabinett
  • iCal

Im Rahmen seines Promotionsverfahrens verteidigt Herr M. Eng. Ming Chai seine Dissertation "Runtime Verification of Railway Applications with Extended Live Sequence Charts"



Gutachter:

Prof. Dr. Holger Schlingloff - Humboldt-Universität zu Berlin

Prof. Dr. Joachim Fischer - Humboldt-Universität zu Berlin

Prof. Dr. Martin Leucker - Universität zu Lübeck


weitere Mitglieder:

Prof. Dr. Lars Grunske - Humboldt-Universität zu Berlin

Dr. Jan Sürmeli - Humboldt-Universität zu Berlin