Modelle als Mittel zur Verstrkung von strukturellen Tests sicherheitskritischer Software.

Dirk Wischermann, Wolfgang Schrder-Preikschat

Browse the full GI paper archive.