Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    FORMS/FORMAT 2007 - 6th symposium : formal methods for automation and safety in railway and automotive systems ; proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007


    Additional title:

    Formal methods for automation and safety in railway and automotive systems



    Conference:

    FORMS/FORMAT 2007 ; 6 (Braunschweig): 2007.01.25-26 FORMS/FORMAT 2007 ; 6 (Braunschweig): 2007.01.25-26
    Symposium of FORMS/FORMAT ; 6
    Symposium of FORMS/FORMAT ; 6 (Braunschweig) : 07.01.25-26


    Publication date :

    2007


    Size :

    480 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 :

    German



    Classification :

    BKL:    55.84 Straßenverkehr / 55.34 Bahnbetriebstechnik
    DDC:    625.100289