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
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Book
German