Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225991504> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4225991504 endingPage "454" @default.
- W4225991504 startingPage "447" @default.
- W4225991504 abstract "A eurobalise is designed to broadcast the current state of the railway to a passing train. Such a transmitter is activated with an approaching train and its goal is to dispatch messages called telegrams. In this article, we consider the encoding process of such telegrams. Since the CRC checksum building method is based on operations with polynomials over the Galois field modulo 2, we describe a proven library to work with polynomials. Next, we present the implementation of the encoder in a modeling language according to the open specification and then discuss its verification strategies using the Model Checking method." @default.
- W4225991504 created "2022-05-05" @default.
- W4225991504 creator A5024052778 @default.
- W4225991504 date "2022-01-01" @default.
- W4225991504 modified "2023-09-30" @default.
- W4225991504 title "Towards Modeling and Verification of Eurobalise Telegram Encoding Algorithm" @default.
- W4225991504 cites W1582439588 @default.
- W4225991504 cites W1974867916 @default.
- W4225991504 cites W2023808162 @default.
- W4225991504 cites W2075277371 @default.
- W4225991504 cites W2075743607 @default.
- W4225991504 cites W2103352188 @default.
- W4225991504 cites W2115309705 @default.
- W4225991504 cites W2116078937 @default.
- W4225991504 cites W2117189826 @default.
- W4225991504 cites W2182759377 @default.
- W4225991504 cites W2482836777 @default.
- W4225991504 cites W2545318895 @default.
- W4225991504 cites W2978247851 @default.
- W4225991504 cites W3109522409 @default.
- W4225991504 cites W3133404980 @default.
- W4225991504 cites W4240837394 @default.
- W4225991504 cites W4248629200 @default.
- W4225991504 cites W4250197954 @default.
- W4225991504 doi "https://doi.org/10.1016/j.trpro.2022.01.073" @default.
- W4225991504 hasPublicationYear "2022" @default.
- W4225991504 type Work @default.
- W4225991504 citedByCount "2" @default.
- W4225991504 countsByYear W42259915042023 @default.
- W4225991504 crossrefType "journal-article" @default.
- W4225991504 hasAuthorship W4225991504A5024052778 @default.
- W4225991504 hasBestOaLocation W42259915041 @default.
- W4225991504 hasConcept C111919701 @default.
- W4225991504 hasConcept C11413529 @default.
- W4225991504 hasConcept C114614502 @default.
- W4225991504 hasConcept C118505674 @default.
- W4225991504 hasConcept C118615104 @default.
- W4225991504 hasConcept C125411270 @default.
- W4225991504 hasConcept C154945302 @default.
- W4225991504 hasConcept C162372511 @default.
- W4225991504 hasConcept C199360897 @default.
- W4225991504 hasConcept C202444582 @default.
- W4225991504 hasConcept C33923547 @default.
- W4225991504 hasConcept C41008148 @default.
- W4225991504 hasConcept C54732982 @default.
- W4225991504 hasConcept C80444323 @default.
- W4225991504 hasConcept C94398972 @default.
- W4225991504 hasConcept C9652623 @default.
- W4225991504 hasConcept C98045186 @default.
- W4225991504 hasConceptScore W4225991504C111919701 @default.
- W4225991504 hasConceptScore W4225991504C11413529 @default.
- W4225991504 hasConceptScore W4225991504C114614502 @default.
- W4225991504 hasConceptScore W4225991504C118505674 @default.
- W4225991504 hasConceptScore W4225991504C118615104 @default.
- W4225991504 hasConceptScore W4225991504C125411270 @default.
- W4225991504 hasConceptScore W4225991504C154945302 @default.
- W4225991504 hasConceptScore W4225991504C162372511 @default.
- W4225991504 hasConceptScore W4225991504C199360897 @default.
- W4225991504 hasConceptScore W4225991504C202444582 @default.
- W4225991504 hasConceptScore W4225991504C33923547 @default.
- W4225991504 hasConceptScore W4225991504C41008148 @default.
- W4225991504 hasConceptScore W4225991504C54732982 @default.
- W4225991504 hasConceptScore W4225991504C80444323 @default.
- W4225991504 hasConceptScore W4225991504C94398972 @default.
- W4225991504 hasConceptScore W4225991504C9652623 @default.
- W4225991504 hasConceptScore W4225991504C98045186 @default.
- W4225991504 hasLocation W42259915041 @default.
- W4225991504 hasOpenAccess W4225991504 @default.
- W4225991504 hasPrimaryLocation W42259915041 @default.
- W4225991504 hasRelatedWork W1559823796 @default.
- W4225991504 hasRelatedWork W2007732566 @default.
- W4225991504 hasRelatedWork W2118300983 @default.
- W4225991504 hasRelatedWork W2166247150 @default.
- W4225991504 hasRelatedWork W2275988210 @default.
- W4225991504 hasRelatedWork W2364375978 @default.
- W4225991504 hasRelatedWork W2389073067 @default.
- W4225991504 hasRelatedWork W2953124467 @default.
- W4225991504 hasRelatedWork W4225991504 @default.
- W4225991504 hasRelatedWork W4243252198 @default.
- W4225991504 hasVolume "61" @default.
- W4225991504 isParatext "false" @default.
- W4225991504 isRetracted "false" @default.
- W4225991504 workType "article" @default.