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
Zusätzliche Termine
Mo, 07.03.2016 10:00 - 13: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