Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    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)



    Publication date :

    1993


    Size :

    Getr. Zählung


    Remarks:

    Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Type of media :

    Book


    Type of material :

    Print


    Language :

    German



    Lehrstuhl und Institut für Verkehr, Eisenbahnwesen und Verkehrssicherung, 1951 - 1976

    Technische Universität Braunschweig, Lehrstuhl und Institut für Verkehr, Eisenbahnwesen und Verkehrssicherung | TIBKAT | 1976