Skip to main content
AkademIndex

Products

For developers

AkademBasesoonOpen API for the ecosystem
Latin
← Back to work

Works cited by this work

26 works

Work: Transition of the Electric Interlocking System Control Panel to Computer-Based Control

  1. The Past, Present and Future of Railway Interlocking System

    Lujiang Huang

    Article20208 citations
    ABI
  2. Model Checking Interlocking Control Tables

    Alessio Ferrari, Gianluca Magnani, Daniele Grasso +1

    Chapter20114 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. Railway Interlockings – A Review of the Current State of Railway Safety Technology in Europe

    Florin Bădău

    Review article20223 citations
    ABI
  6. Research on Automatic Test Method of Computer-Based Interlocking System

    Jinlong Qian, Wei Guo, Hongtao Zhang +1

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

    Emre Dinçel, Salman Kurtulan

    Article20122 citations
    ABI
  8. Untitled

    Other1 citations
    ABI
  9. Untitled

    Other1 citations
    ABI
  10. Untitled

    Other1 citations
    ABI
  11. Untitled

    Other1 citations
    ABI
  12. Untitled

    Other1 citations
    ABI
  13. Untitled

    Other1 citations
    ABI
  14. Untitled

    Other1 citations
    ABI
  15. Untitled

    Other1 citations
    ABI