Security codes in railway interlocking systems.

zbMATH Open1289.94071MaRDI QIDQ2856952FDOQ2856952

Authors: Lucie Kárná, Štěpán Klapka 

Publication date: 30 October 2013

Published in: Pokroky Matematiky, Fyziky \& Astronomie (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10338.dmlcz/143376

Recommendations

• scientific article; zbMATH DE number 6513409
• Automated Verification of Signalling Principles in Railway Interlocking Systems
• An applicable topology-independent model for railway interlocking systems

zbMATH Keywords

error detectionlinear binary codebinary symmetrical channelcommunication safetysafety code

Mathematics Subject Classification ID

Linear codes (general theory) (94B05) Error probability in coding theory (94B70)

Cited In (2)

• Calculation of the detection properties in the binary symmetrical channel.
• Title not available (Why is that?)

This page was built for publication: Security codes in railway interlocking systems.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2856952)