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
Not necessary
gute Logikkenntnisse