Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2023, August 30
Time: 17:00 p. m.
Place: G29-301
Author: Chatterjee, Anjan
Title: Towards Development of a Knowledge Model for Industrial Risk Assessments (Master Thesis Defense)

Kommission:

Vorsitzender: Prof. Dr. Till Mossakowski
1. Gutachter: Prof. Dr. Till Mossakowski
2. Gutachter: Dipl.-Ing. Emanuel Deisler, TÜV Süd Beisitzer: Dr. Fabian Neuhaus

Back to the Oberseminar web page
Webmaster