Rechnergestützte Prüfung von Sicherheitsnachweisen : technischer Bericht; [Verfahren zur formal und inhaltlich vollständigen und korrekten Beschreibung der Anforderungsspezifikation und Zum automatisierten Funktionstest] / Institut für Verkehr, Eisenbahnwesen und Verkehrssicherung der Technischen Universität Carolo-Wilhelmina. [Bearb.: R. Müller]: (Arbeitspakete 130 bis 170)
1993
Getr. Zählung
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Book
German