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
Buch
Deutsch