Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    FORMS/FORMAT 2014 : 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; [30.09.2014 - 02.10.2014]



    Kongress:

    FORMS/FORMAT 2014 ; 10 ; 2014 ; Braunschweig FORMS/FORMAT 2014 ; 10 (Braunschweig) : 2014.09.30-10.02
    Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; 10 ; 2014 ; Braunschweig
    Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; 10 (Braunschweig) : 2014.09.30-10.02


    Erscheinungsdatum :

    2014


    Format / Umfang :

    XIV, 333 S.


    Anmerkungen:

    Ill., graph. Darst.
    Literaturangaben
    Langzeitarchivierung durch Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek



    Medientyp :

    Konferenzband


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    50.20 Automatisierungstechnik / 50.17 Sicherheitstechnik / 55.20 Straßenfahrzeugtechnik / 55.30 Schienenfahrzeugtechnik, Eisenbahntechnik
    DDC:    629.040289