Security codes in railway interlocking systems.

MaRDI QIDQ2856952zbMATH OpenFDO

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

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)

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

Cited in

(2)

• scientific article; zbMATH DE number 6513409 (Why is no real title available?)
• Calculation of the detection properties in the binary symmetrical channel.

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)