 | Monter d'un niveau |
Busard, S., Cappart, Q., Limbrée, C., Pecheur, C., & Schaus, P. (juin 2015). Verification of railway interlocking systems [Communication écrite]. 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway. Lien externe
Cappart, Q., Limbrée, C., Schaus, P., & Legay, A. (octobre 2015). Verification by discrete simulation of interlocking systems [Communication écrite]. 29th European Simulation and Modelling Conference, Leicester, United Kingdom. Lien externe
