Zugriff

    Weiterleitung zur SLUB

    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:

    Erscheinungsdatum :

    1998


    Format / Umfang :

    142 S.


    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Deutsch



    Klassifikation :