<  Back to the Polytechnique Montréal portal

Items where Author is "Tonetta, Stefano"

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

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: Sun Dec 7 17:58:45 2025 EST