Christophe Limbrée, Quentin Cappart
, Charles Pecheur and Stefano Tonetta
Paper (2016)
Document published while its authors were not affiliated with Polytechnique Montréal
An external link is available for this item
| ISBN: | 9783319339504 |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/46361/ |
| Conference Title: | 1st International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2016) |
| Conference Location: | Paris, France |
| Conference Date(s): | 2016-06-28 - 2016-06-30 |
| Publisher: | Springer |
| DOI: | 10.1007/978-3-319-33951-1_10 |
| Official URL: | https://doi.org/10.1007/978-3-319-33951-1_10 |
| Date Deposited: | 18 Apr 2023 15:05 |
| Last Modified: | 08 Apr 2025 12:21 |
| Cite in APA 7: | 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. https://doi.org/10.1007/978-3-319-33951-1_10 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
