Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Rechnergestützter Sicherheitsnachweis: Ein Verfahren zum Ausschluß gefährlicher Systemzustände in rechnergesteuerten Eisenbahn-Sicherungsanlagen


    Beteiligte:
    Koch, Thomas (Autor:in)

    Erscheinungsdatum :

    1998


    Format / Umfang :

    142 S


    Anmerkungen:

    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Deutsch