Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    FORMS/FORMAT 2010
    FORMS-FORMAT 2010


    Beteiligte:

    Kongress:

    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


    Erscheinungsdatum :

    2011


    Format / Umfang :

    XI, 256 S.


    Anmerkungen:

    Ill., graph. Darst.
    Literaturangaben
    Langzeitarchivierung durch Badische Landesbibliothek



    Medientyp :

    Konferenzband


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

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