You are here

Publications

Export 2 results:
Filters: Author is Charles Pecheur  [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 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)