Auflistung nach Autor "Krause, Jan"
Anzeige der Dokumente 1-3 von 3
-
Automatisiertes Testen von verteilten Systemen über Petrinetze
Ruß, Tim; Magnus, Stephan; Krause, Jan
-
Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten
Krause, Jan; Diedrich, Christian
333-338 -
UML based software development under safety constraints
Diedrich, Christian; Krause, Jan; Franke, Andreas
361-368