You are here

Verification by discrete simulation of interlocking systems

TitleVerification by discrete simulation of interlocking systems
Publication TypeConference Proceedings
Year of Conference2015
AuthorsCappart, Quentin, Limbrée Christophe, Schaus Pierre, and Legay Axel
Conference Name29th European Simulation and Modelling Conference