19403113 Praxisseminar

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

Hannes Klarner, Adam Streck, Heike Siebert

Zusätzl. Angaben / Voraussetzungen

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

Kommentar

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

Schließen

Zusätzliche Termine

Mo, 07.03.2016 10:00 - 13:00

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

Räume:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Di, 08.03.2016 10:00 - 13:00

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

Räume:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Do, 10.03.2016 10:00 - 13:00

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

Räume:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Fr, 11.03.2016 10:00 - 13:00

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

Räume:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Mi, 16.03.2016 10:30 - 12:00

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

Räume:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Fr, 18.03.2016 10:30 - 12:00

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

Räume:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Fr, 01.04.2016 10:30 - 13:00

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

Räume:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Mi, 27.04.2016 12:00 - 14:00

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

Räume:
A6/017 Frontalunterrichtsraum (Bioinf) (Arnimallee 6)

Studienfächer A-Z