Verification by Discrete Simulation of Interlocking Systems. Cappart, Q., Limbrée, C., Schaus, P., & Legay, A. In 29th Annual European Simulation and Modelling Conference (ESM), pages 402-409, 2015.
bibtex   
@inproceedings{cappart_simu,
        author={Cappart, Quentin and Limbr\'ee, Christophe and Schaus, Pierre and Legay, Axel},
        year={2015},
        title={{Verification by Discrete Simulation of Interlocking Systems}},
        booktitle={29th Annual European Simulation and Modelling Conference (ESM)},
        pages={402-409}
}

Downloads: 0