You are here
Verification by discrete simulation of interlocking systems
| 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 |