You are here

Home

Publications

Export 3 results:
Filters: Author is Christophe Limbrée  [Clear All Filters]
2016
Verification of railway interlocking-compositional approach with OCRA, Limbrée, Christophe, Cappart Quentin, Pecheur Charles, and Tonetta Stefano , International Conference on Reliability, Safety and Security of Railway Systems, p.134–149, (2016)
2015
Verification by discrete simulation of interlocking systems, Cappart, Quentin, Limbrée Christophe, Schaus Pierre, and Legay Axel , 29th European Simulation and Modelling Conference, (2015)
Verification of railway interlocking systems, Busard, Simon, Schaus Pierre, Cappart Quentin, Limbrée Christophe, and Pecheur Charles , 4th International Workshop on Engineering Safety and Security Systems, (2015)