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ßenZusätzliche Termine
Mo, 07.03.2016 10:00 - 13:00 Di, 08.03.2016 10:00 - 13:00 Do, 10.03.2016 10:00 - 13:00 Fr, 11.03.2016 10:00 - 13:00 Mi, 16.03.2016 10:30 - 12:00 Fr, 18.03.2016 10:30 - 12:00 Fr, 01.04.2016 10:30 - 13:00 Mi, 27.04.2016 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 ... Lesen Sie weiter