search-head

You are here: Homepage >  Search

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

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


    Access

    Redirect to SLUB

    Check availability in my library

    Order at Subito €

    Export, share and cite

    Document information

    Title :

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

    Additional title:

    FORMS/FORMAT 2010
    FORMS-FORMAT 2010

    Contributors:
    Schnieder, Eckehard (editor) / Tarnai, Géza
    Publication date :

    2011

    Size :

    XI, 256 S.

    ISBN :

    9783642142604 , 3642142605

    Type of media :

    Conference Proceedings

    Type of material :

    Print

    Language :

    English

    Keywords :

    Formal methods (Computer science) , Eisenbahnsignalanlage , Schienenverkehr , System safety , Verkehrsleitsystem , Congresses , Safety measures , Eisenbahnverkehr , Sicherheitsanalyse , Verkehrssicherheit , Straßenverkehr , Technische Sicherheit , Data processing , Formale Methode , Transportation

    Classification :

    BKL:    55.34 / 55.84
    RVK:    ZO 5870 / ZO 2000 / ZO 4870
    DDC:    620

    Similar titles

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

    Schnieder, Eckehard ;Tarnai, Géza | TIBKAT | 2011

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

    Schnieder, Eckehard ;Tarnai, Géza | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2014

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

    Schnieder, Eckehard ;Tarnai, Géza | TIBKAT | 2014

    FORMS/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems : proceedings of [5th] Symposium FORMS/FORMAT 2004 Braunschweig, Germany, December 2nd and 3rd 2004

    Symposium FORMS, FORMAT / Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | TIBKAT | 2004

    FORMS/FORMAT 2012 : 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems

    FORMS, FORMAT | TIBKAT | 2012

    Access

    Redirect to SLUB

    Check availability in my library

    Order at Subito €

    Page navigation

    Document information

    Similar titles

    Export, share and cite