Auflistung nach Autor "Farago, David"
Anzeige der Dokumente 1-2 von 2
-
Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT
Eberhardinger, Benedikt; Farago, David; Friske, Mario; Sokenou, Dehla
-
Automatic Heavy-weight Static Analysis Tools for Finding Bugs in Safety-critical Embedded C/C++ Code
Farago, David; Merz, Florian; Sinz, Carsten