You are here

Verification of railway interlocking-compositional approach with OCRA

TitleVerification of railway interlocking-compositional approach with OCRA
Publication TypeConference Paper
Year of Publication2016
AuthorsLimbrée, Christophe, Cappart Quentin, Pecheur Charles, and Tonetta Stefano
Conference NameInternational Conference on Reliability, Safety and Security of Railway Systems
PublisherSpringer