<  Back to the Polytechnique Montréal portal

Items where Author is "Pecheur, Charles"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | L
Number of items: 2.

B

Busard, S., Cappart, Q., Limbrée, C., Pecheur, C., & Schaus, P. (2015, June). Verification of railway interlocking systems [Paper]. 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway. External link

L

Limbrée, C., Cappart, Q., Pecheur, C., & Tonetta, S. (2016, June). Verification of Railway Interlocking - Compositional Approach with OCRA [Paper]. 1st International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2016), Paris, France. External link

List generated on: Thu Jul 9 12:27:56 2026 EDT