Skip to main content
← Back to work

Works cited by this work

31 works

Work: Simulation of a Safe Train Traffic Management System at the Stations

  1. Model Checking Interlocking Control Tables

    Alessio Ferrari, Gianluca Magnani, Daniele Grasso +1

    Chapter20114 citations
    ABI
  2. Enhanced ETCS_L2/L3 train control system

    D. Emery

    Chapter20103 citations
    ABI
  3. Formal validation method for computerized railway interlocking systems

    Marc Antoni

    Article20093 citations
    ABI
  4. Interlocking Train Control Integrated System Modeling Design Based on AADL

    Zeyu Song, Guoning Li

    Article20203 citations
    ABI
  5. Untitled

    Other3 citations
    ABI
  6. Study on Application of Regional Computer Interlocking in High-Speed Railway

    Yi Sun

    Article20192 citations
    ABI
  7. Interlocking and Automatic Operating System Design with Automaton Method

    Emre Dinçel, Salman Kurtulan

    Article20122 citations
    ABI