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
closeAdditional appointments
Mon, 2016-03-07 10:00 - 13:00 Tue, 2016-03-08 10:00 - 13:00 Thu, 2016-03-10 10:00 - 13:00 Fri, 2016-03-11 10:00 - 13:00 Wed, 2016-03-16 10:30 - 12:00 Fri, 2016-03-18 10:30 - 12:00 Fri, 2016-04-01 10:30 - 13:00 Wed, 2016-04-27 12:00 - 14:00
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 ... read more