You are here

Home › Publications

A dedicated algorithm for verification of interlocking systems

TitleA dedicated algorithm for verification of interlocking systems
Publication TypeConference Proceedings
Year of Conference2016
AuthorsCappart, Quentin, and Schaus Pierre
Conference NameInternational Conference on Computer Safety, Reliability and Security
Topics: 
Applications