Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:

    Publication date :

    1998


    Size :

    142 S


    Remarks:

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


    Type of media :

    Theses


    Type of material :

    Print


    Language :

    German