Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    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)



    Erscheinungsdatum :

    1993


    Format / Umfang :

    Getr. Zählung


    Medientyp :

    Buch


    Format :

    Print


    Sprache :

    Deutsch



    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