Studies

194
Compulsory

When a course instance has been created from a template, the course instance will be in this state

  • Data is usually still incomplete and everything can still be edited.
  • Lecturers or secretaries can move the state forward to Edited.

Inhalt:

The aim of this project is to extend NuSMV so that it is capable of printing the advanced output. The core NuSMV developers can provide us with support and give proper credits if the feature is integrated in the main release of the tool. We will teach the background of symbolic model checking and its use in systems biology. Good knowledge of C++ is required.

For more information and schedule see Lecture Homepage

Cross-language

194 031
Compulsory

Expectant Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire

Nursing Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire

AncillaryCourses

Seminar zu Projektmanagement im Softwarebereich (Writing an extension for NuSMV)

Expectant Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire

Nursing Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire