Open AccessTowards Modeling and Verification of Eurobalise Telegram Encoding Algorithm
Author(s) -
Sergey Staroletov
Publication year - 2022
Publication title -
transportation research procedia
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.657
H-Index - 40
eISSN - 2352-1465
pISSN - 2352-1457
DOI - 10.1016/j.trpro.2022.01.073
Subject(s) - computer science , encoding (memory) , encoder , modulo , algorithm , checksum , process (computing) , galois theory , field (mathematics) , programming language , state (computer science) , theoretical computer science , artificial intelligence , mathematics , operating system , discrete mathematics , combinatorics , pure mathematics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom