Title | Verification by discrete simulation of interlocking systems |
Publication Type | Conference Proceedings |
Year of Conference | 2015 |
Authors | Cappart, Quentin, Limbrée Christophe, Schaus Pierre, and Legay Axel |
Conference Name | 29th European Simulation and Modelling Conference |