Simon Busard, Quentin Cappart
, Christophe Limbrée, Charles Pecheur and Pierre Schaus
Paper (2015)
Document published while its authors were not affiliated with Polytechnique Montréal
An external link is available for this item
| PolyPublie URL: | https://publications.polymtl.ca/46871/ |
|---|---|
| Conference Title: | 4th International Workshop on Engineering Safety and Security Systems |
| Conference Location: | Oslo, Norway |
| Conference Date(s): | 2015-06-22 |
| DOI: | 10.4204/eptcs.184.2 |
| Official URL: | https://doi.org/doi.org/10.4204/EPTCS.184.2 |
| Date Deposited: | 18 Apr 2023 15:06 |
| Last Modified: | 08 Apr 2025 12:21 |
| Cite in APA 7: | 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. https://doi.org/doi.org/10.4204/EPTCS.184.2 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
