You are here
Verification of railway interlocking-compositional approach with OCRA
| Title | Verification of railway interlocking-compositional approach with OCRA |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Limbrée, Christophe, Cappart Quentin, Pecheur Charles, and Tonetta Stefano |
| Conference Name | International Conference on Reliability, Safety and Security of Railway Systems |
| Publisher | Springer |