Master / doctoral students are made familiar with the current state of the art in special fields.
Discussion of up to date scientific works in the areas formal methods in systems engineering. Presentation of results (also partial results) in completed / ongoing studies for master and doctoral theses.
ECTS Breakdown:50h (2 ECTS) research, presentations and diskussions
mündlich
TISS
The student has to be enrolled for at least one of the studies listed below
gute Logikkenntnisse