Auflistung nach Autor "Behrend, Jörg"
Anzeige der Dokumente 1-2 von 2
-
DWARF-driven Equivalence Checking of UML Statecharts and Software Components
Heckeler, Patrick; Behrend, Jörg; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang; Weiss, Roland
-
State-based coverage analysis and UML-driven equivalence checking for C++ state machines
Heckeler, Patrick; Behrend, Jörg; Kropf, Thomas; Ruf, Jürgen; Rosenstiel, Wolfgang; Weiss, Roland
49-62