Diplomanden/ Dissertanten werden auf den aktuellen Stand der Forschung in ihrem Spezialgebiet gebracht.
Diskussion aktueller wissenschaftlicher Arbeiten aus dem Bereich formale Methoden im Systems Engineering. Vorstellung von (Teil-) Ergebnissen der Diplomarbeit bzw. Dissertation.
Termin n.Vereinb.
ECTS Breakdown:50h (2 ECTS) Wissenschaftl. Arbeiten, Präsentationen und Diskussionnen
mündlich
Nicht erforderlich
gute Logikkenntnisse