Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal software inspections: An industrial application of Function Tables and Event-B to software of a Wayside Train Monitoring system


    Contributors:


    Publication date :

    2020



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Classification :

    RVK:    ZO 2000
    BKL:    55.85 Schienenverkehr / 55.34 Bahnbetriebstechnik



    Wayside train monitoring systems - an overview

    Schöbel, Andreas | Tema Archive | 2011


    Wayside train monitoring systems - an overview

    Schöbel, Andrea | IuD Bahn | 2011


    Wayside Train Monitoring: Erfahrungen mit dem Argos-System

    Maicz, Dietmar | Online Contents | 2012


    Wayside Train Monitoring: Erfahrungen mit dem Argos-System

    Maicz, Dietmar / Mittermayr, Paul / Zottl, Wolfgang | IuD Bahn | 2012


    Wayside train monitoring systems on the move

    Green, Anitra | IuD Bahn | 2011