Auflistung nach Autor "Haubelt, Christian"
Anzeige der Dokumente 1-3 von 3
-
Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS
Beichler, Benjamin; Nitsch, Alexander; Golatowski, Frank; Haubelt, Christian
1191-1201 -
Automatic test case generation with NuSMV
Bunin, Grygoriy; Schneider, Axel; Haubelt, Christian; Langer, Jan; Heinkel, Ulrich
262-263 -
Design Space Exploration with Answer Set Programming
Haubelt, Christian; Neubauer, Kai; Schaub, Torsten; Wanko, Philipp
205-206