Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

    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


    Publication date :

    2014


    Size :

    XIV, 333 S.


    Remarks:

    Ill., graph. Darst.
    Literaturangaben
    Digital preservation by Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek



    Type of media :

    Conference Proceedings


    Type of material :

    Print


    Language :

    English



    Classification :

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