Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122806139> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2122806139 abstract "In designing safe and reliable interlocking systems for railways which are compatible with the related CENELEC (European Committee for Electrotechnical Standardization) standards semi-formal methods and diverse programming techniques are highly recommended (HR). EN 50128 (where methodologies to build failsafe software for railway applications are defined) recommends the use of Automata and Petri Nets (PNs) as semi-formal methods to build failsafe interlocking software for railway applications. In this paper interlocking software design which is achieved by using automata and PNs is explained where they were used synchronously as a voting system." @default.
- W2122806139 created "2016-06-24" @default.
- W2122806139 creator A5021327752 @default.
- W2122806139 creator A5049749242 @default.
- W2122806139 creator A5059955311 @default.
- W2122806139 creator A5062546877 @default.
- W2122806139 date "2011-12-01" @default.
- W2122806139 modified "2023-09-29" @default.
- W2122806139 title "Synchronizing Automata and Petri Net based controllers" @default.
- W2122806139 cites W1587663028 @default.
- W2122806139 cites W1699115902 @default.
- W2122806139 cites W1970246031 @default.
- W2122806139 cites W1996109622 @default.
- W2122806139 cites W1998134062 @default.
- W2122806139 cites W2002631688 @default.
- W2122806139 cites W2024877330 @default.
- W2122806139 cites W2059057465 @default.
- W2122806139 cites W2119133182 @default.
- W2122806139 cites W2154380172 @default.
- W2122806139 cites W2154520537 @default.
- W2122806139 cites W2158814988 @default.
- W2122806139 cites W2172300075 @default.
- W2122806139 cites W2182129965 @default.
- W2122806139 cites W2183171996 @default.
- W2122806139 hasPublicationYear "2011" @default.
- W2122806139 type Work @default.
- W2122806139 sameAs 2122806139 @default.
- W2122806139 citedByCount "3" @default.
- W2122806139 countsByYear W21228061392015 @default.
- W2122806139 countsByYear W21228061392017 @default.
- W2122806139 crossrefType "proceedings-article" @default.
- W2122806139 hasAuthorship W2122806139A5021327752 @default.
- W2122806139 hasAuthorship W2122806139A5049749242 @default.
- W2122806139 hasAuthorship W2122806139A5059955311 @default.
- W2122806139 hasAuthorship W2122806139A5062546877 @default.
- W2122806139 hasConcept C111919701 @default.
- W2122806139 hasConcept C112505250 @default.
- W2122806139 hasConcept C115903868 @default.
- W2122806139 hasConcept C127413603 @default.
- W2122806139 hasConcept C162932704 @default.
- W2122806139 hasConcept C188087704 @default.
- W2122806139 hasConcept C199360897 @default.
- W2122806139 hasConcept C200601418 @default.
- W2122806139 hasConcept C2777904410 @default.
- W2122806139 hasConcept C2778844933 @default.
- W2122806139 hasConcept C38677869 @default.
- W2122806139 hasConcept C41008148 @default.
- W2122806139 hasConcept C42259789 @default.
- W2122806139 hasConcept C75606506 @default.
- W2122806139 hasConcept C761482 @default.
- W2122806139 hasConcept C76155785 @default.
- W2122806139 hasConcept C80444323 @default.
- W2122806139 hasConceptScore W2122806139C111919701 @default.
- W2122806139 hasConceptScore W2122806139C112505250 @default.
- W2122806139 hasConceptScore W2122806139C115903868 @default.
- W2122806139 hasConceptScore W2122806139C127413603 @default.
- W2122806139 hasConceptScore W2122806139C162932704 @default.
- W2122806139 hasConceptScore W2122806139C188087704 @default.
- W2122806139 hasConceptScore W2122806139C199360897 @default.
- W2122806139 hasConceptScore W2122806139C200601418 @default.
- W2122806139 hasConceptScore W2122806139C2777904410 @default.
- W2122806139 hasConceptScore W2122806139C2778844933 @default.
- W2122806139 hasConceptScore W2122806139C38677869 @default.
- W2122806139 hasConceptScore W2122806139C41008148 @default.
- W2122806139 hasConceptScore W2122806139C42259789 @default.
- W2122806139 hasConceptScore W2122806139C75606506 @default.
- W2122806139 hasConceptScore W2122806139C761482 @default.
- W2122806139 hasConceptScore W2122806139C76155785 @default.
- W2122806139 hasConceptScore W2122806139C80444323 @default.
- W2122806139 hasLocation W21228061391 @default.
- W2122806139 hasOpenAccess W2122806139 @default.
- W2122806139 hasPrimaryLocation W21228061391 @default.
- W2122806139 hasRelatedWork W1493590539 @default.
- W2122806139 hasRelatedWork W1724543665 @default.
- W2122806139 hasRelatedWork W1907683238 @default.
- W2122806139 hasRelatedWork W1957776528 @default.
- W2122806139 hasRelatedWork W1978430378 @default.
- W2122806139 hasRelatedWork W2015225673 @default.
- W2122806139 hasRelatedWork W2117417419 @default.
- W2122806139 hasRelatedWork W2142113480 @default.
- W2122806139 hasRelatedWork W2153762316 @default.
- W2122806139 hasRelatedWork W2233938189 @default.
- W2122806139 hasRelatedWork W2359641939 @default.
- W2122806139 hasRelatedWork W2472221118 @default.
- W2122806139 hasRelatedWork W2536483562 @default.
- W2122806139 hasRelatedWork W2537310196 @default.
- W2122806139 hasRelatedWork W2894948111 @default.
- W2122806139 hasRelatedWork W2964918455 @default.
- W2122806139 hasRelatedWork W3031046896 @default.
- W2122806139 hasRelatedWork W3049438449 @default.
- W2122806139 hasRelatedWork W45490317 @default.
- W2122806139 hasRelatedWork W2048116085 @default.
- W2122806139 isParatext "false" @default.
- W2122806139 isRetracted "false" @default.
- W2122806139 magId "2122806139" @default.
- W2122806139 workType "article" @default.