Title | Verification of railway interlocking systems |
Publication Type | Conference Proceedings |
Year of Conference | 2015 |
Authors | Busard, Simon, Schaus Pierre, Cappart Quentin, Limbrée Christophe, and Pecheur Charles |
Conference Name | 4th International Workshop on Engineering Safety and Security Systems |