PUTZ : rechnergestützte Prüfung von Sicherheitsnachweisen / IVV Ingenieurgesellschaft für Verkehrsplanung und Verkehrssicherung GmbH. Projektleiter: Bauch-Gelleszun ; Bericht AP 330: Prüfmethoden für die Hardware : Untersuchung von Verfahren und Werkzeugen zur Prüfung von Hardware-Sicherheitsnachweisen
1993
32, [2] Bl
graph. Darst
Buch
Deutsch
HENRY – Bundesanstalt für Wasserbau (BAW) | 2004
|