Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912911294> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2912911294 abstract "In this paper, we present an overview of research jointly undertaken by the Swansea Railway Verification Group towards verification techniques for automatically checking safety for train control systems. We present a comprehensive modelling of safety principles in first order logic. We conclude by applying verification methods developed by Swansea Railway Verification Group in order to check the modelled safety principles against a real world railway interlocking system." @default.
- W2912911294 created "2019-02-21" @default.
- W2912911294 creator A5007383866 @default.
- W2912911294 creator A5028634109 @default.
- W2912911294 creator A5050442330 @default.
- W2912911294 creator A5052756595 @default.
- W2912911294 date "2018-12-01" @default.
- W2912911294 modified "2023-10-16" @default.
- W2912911294 title "Formal Methods for Industrial Interlocking Verification" @default.
- W2912911294 cites W1956176187 @default.
- W2912911294 cites W2184973482 @default.
- W2912911294 cites W2185453396 @default.
- W2912911294 cites W2522207775 @default.
- W2912911294 doi "https://doi.org/10.1109/icirt.2018.8641579" @default.
- W2912911294 hasPublicationYear "2018" @default.
- W2912911294 type Work @default.
- W2912911294 sameAs 2912911294 @default.
- W2912911294 citedByCount "3" @default.
- W2912911294 countsByYear W29129112942019 @default.
- W2912911294 countsByYear W29129112942020 @default.
- W2912911294 countsByYear W29129112942021 @default.
- W2912911294 crossrefType "proceedings-article" @default.
- W2912911294 hasAuthorship W2912911294A5007383866 @default.
- W2912911294 hasAuthorship W2912911294A5028634109 @default.
- W2912911294 hasAuthorship W2912911294A5050442330 @default.
- W2912911294 hasAuthorship W2912911294A5052756595 @default.
- W2912911294 hasConcept C110251889 @default.
- W2912911294 hasConcept C111498074 @default.
- W2912911294 hasConcept C115903868 @default.
- W2912911294 hasConcept C127413603 @default.
- W2912911294 hasConcept C142284323 @default.
- W2912911294 hasConcept C149091818 @default.
- W2912911294 hasConcept C186846655 @default.
- W2912911294 hasConcept C187250869 @default.
- W2912911294 hasConcept C199360897 @default.
- W2912911294 hasConcept C200601418 @default.
- W2912911294 hasConcept C201995342 @default.
- W2912911294 hasConcept C202973057 @default.
- W2912911294 hasConcept C2777904410 @default.
- W2912911294 hasConcept C2778844933 @default.
- W2912911294 hasConcept C33054407 @default.
- W2912911294 hasConcept C41008148 @default.
- W2912911294 hasConcept C62460635 @default.
- W2912911294 hasConcept C75606506 @default.
- W2912911294 hasConceptScore W2912911294C110251889 @default.
- W2912911294 hasConceptScore W2912911294C111498074 @default.
- W2912911294 hasConceptScore W2912911294C115903868 @default.
- W2912911294 hasConceptScore W2912911294C127413603 @default.
- W2912911294 hasConceptScore W2912911294C142284323 @default.
- W2912911294 hasConceptScore W2912911294C149091818 @default.
- W2912911294 hasConceptScore W2912911294C186846655 @default.
- W2912911294 hasConceptScore W2912911294C187250869 @default.
- W2912911294 hasConceptScore W2912911294C199360897 @default.
- W2912911294 hasConceptScore W2912911294C200601418 @default.
- W2912911294 hasConceptScore W2912911294C201995342 @default.
- W2912911294 hasConceptScore W2912911294C202973057 @default.
- W2912911294 hasConceptScore W2912911294C2777904410 @default.
- W2912911294 hasConceptScore W2912911294C2778844933 @default.
- W2912911294 hasConceptScore W2912911294C33054407 @default.
- W2912911294 hasConceptScore W2912911294C41008148 @default.
- W2912911294 hasConceptScore W2912911294C62460635 @default.
- W2912911294 hasConceptScore W2912911294C75606506 @default.
- W2912911294 hasLocation W29129112941 @default.
- W2912911294 hasOpenAccess W2912911294 @default.
- W2912911294 hasPrimaryLocation W29129112941 @default.
- W2912911294 hasRelatedWork W1573022308 @default.
- W2912911294 hasRelatedWork W2088669757 @default.
- W2912911294 hasRelatedWork W2097343195 @default.
- W2912911294 hasRelatedWork W2140180503 @default.
- W2912911294 hasRelatedWork W2140586641 @default.
- W2912911294 hasRelatedWork W2142070420 @default.
- W2912911294 hasRelatedWork W2245734684 @default.
- W2912911294 hasRelatedWork W2248653679 @default.
- W2912911294 hasRelatedWork W2912911294 @default.
- W2912911294 hasRelatedWork W3195343138 @default.
- W2912911294 isParatext "false" @default.
- W2912911294 isRetracted "false" @default.
- W2912911294 magId "2912911294" @default.
- W2912911294 workType "article" @default.