19403113 Lab Seminar

SoSe 16: Projektmanagement im Softwarebereich (Writing an extension for NuSMV)

Hannes Klarner, Adam Streck, Heike Siebert

Additional information / Pre-requisites

Die Platzvergabe hat bereits im Februar stattgefunden. Eine Anmeldung in Campus Management ist außerdem erforderlich!

Comments

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

http://www.mi.fu-berlin.de/bioinf/stud/bachelor/studienablauf/projektmanagement.html

close

Additional appointments

Mon, 2016-03-07 10:00 - 13:00

Lecturers:
Univ.-Prof. Dr. Heike Siebert
Adam Streck
Dr. Hannes Klarner

Location:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Tue, 2016-03-08 10:00 - 13:00

Lecturers:
Univ.-Prof. Dr. Heike Siebert
Adam Streck
Dr. Hannes Klarner

Location:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Thu, 2016-03-10 10:00 - 13:00

Lecturers:
Univ.-Prof. Dr. Heike Siebert
Adam Streck
Dr. Hannes Klarner

Location:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Fri, 2016-03-11 10:00 - 13:00

Lecturers:
Univ.-Prof. Dr. Heike Siebert
Adam Streck
Dr. Hannes Klarner

Location:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Wed, 2016-03-16 10:30 - 12:00

Lecturers:
Univ.-Prof. Dr. Heike Siebert
Adam Streck
Dr. Hannes Klarner

Location:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Fri, 2016-03-18 10:30 - 12:00

Lecturers:
Univ.-Prof. Dr. Heike Siebert
Adam Streck
Dr. Hannes Klarner

Location:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Fri, 2016-04-01 10:30 - 13:00

Lecturers:
Univ.-Prof. Dr. Heike Siebert
Adam Streck
Dr. Hannes Klarner

Location:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Wed, 2016-04-27 12:00 - 14:00

Lecturers:
Univ.-Prof. Dr. Heike Siebert
Adam Streck
Dr. Hannes Klarner

Location:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Subjects A - Z