Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems


    Additional title:

    FORMS/FORMAT 2010
    FORMS-FORMAT 2010


    Contributors:

    Conference:

    FORMS/FORMAT 2010 ; 8 ; 2010 ; Braunschweig FORMS/FORMAT 2010 ; 8 (Braunschweig) : 2010.12.02-03
    Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; 8 ; 2010 ; Braunschweig
    Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; 8 (Braunschweig) : 2010.12.02-03


    Publication date :

    2011


    Size :

    XI, 256 S.


    Remarks:

    Ill., graph. Darst.
    Literaturangaben
    Digital preservation by Badische Landesbibliothek



    Type of media :

    Conference Proceedings


    Type of material :

    Print


    Language :

    English



    Classification :

    BKL:    55.84 Straßenverkehr / 55.34 Bahnbetriebstechnik
    RVK:    ZO 5870 / ZO 2000 / ZO 4870
    DDC:    625.100289