User menu

Verification by discrete simulation of interlocking systems

Bibliographic reference Cappart, Quentin ; Schaus, Pierre ; Limbrée, Christophe ; et. al. Verification by discrete simulation of interlocking systems.29th European Simulation and Modelling Conference (Leicester, UK., 26-28/10/2015).
Permanent URL http://hdl.handle.net/2078.1/171189