Disputation Herr M. Eng. Ming Chai
- https://www.informatik.hu-berlin.de/de/events/dispuchai
- Disputation Herr M. Eng. Ming Chai
- 2015-12-21T15:15:00+01:00
- 2015-12-21T16:30:00+01:00
- 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