After successful completion of the course, students are able to present and discuss the research questions, solution approaches and results of their research conducted in the course of their diploma or PhD thesis.
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
The grading depends on the quality of the presentation and the ability to answer the questions adequately. Moreover, the final grade reflects also the degree to which the students engage in the discussion ensuing the presentation of the others.
TISS
The student has to be enrolled for at least one of the studies listed below
gute Logikkenntnisse
