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.

• Presentation of results
• Discussion and defense of the approach in the course of a Q&A session

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.

gute Logikkenntnisse