Matches in SemOpenAlex for { <https://semopenalex.org/work/W2167661609> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2167661609 abstract "The purpose of this paper is threefold: (1) to show a methodology for introducing formality step-by-step, starting from a light-weight ontology, (2) to apply it to the generic Route Graph model, instantiated here to Tramway Networks, and (3) to demonstrate that separation of concerns into layers of abstraction and application of generic formal notions such as graph abstraction lead to a useful decomposition of safety properties." @default.
- W2167661609 created "2016-06-24" @default.
- W2167661609 creator A5013768084 @default.
- W2167661609 creator A5039153272 @default.
- W2167661609 creator A5040001719 @default.
- W2167661609 date "2004-01-01" @default.
- W2167661609 modified "2023-09-26" @default.
- W2167661609 title "TRAMWAY NETWORKS AS ROUTE GRAPHS" @default.
- W2167661609 cites W1489157673 @default.
- W2167661609 cites W1528353049 @default.
- W2167661609 cites W1556805795 @default.
- W2167661609 cites W1561913124 @default.
- W2167661609 cites W1571922741 @default.
- W2167661609 cites W1577783107 @default.
- W2167661609 cites W1580238622 @default.
- W2167661609 cites W1603317666 @default.
- W2167661609 cites W2104169671 @default.
- W2167661609 cites W2340576124 @default.
- W2167661609 cites W2597181481 @default.
- W2167661609 cites W2619072819 @default.
- W2167661609 cites W2992467847 @default.
- W2167661609 cites W83229000 @default.
- W2167661609 hasPublicationYear "2004" @default.
- W2167661609 type Work @default.
- W2167661609 sameAs 2167661609 @default.
- W2167661609 citedByCount "2" @default.
- W2167661609 crossrefType "journal-article" @default.
- W2167661609 hasAuthorship W2167661609A5013768084 @default.
- W2167661609 hasAuthorship W2167661609A5039153272 @default.
- W2167661609 hasAuthorship W2167661609A5040001719 @default.
- W2167661609 hasConcept C111472728 @default.
- W2167661609 hasConcept C124304363 @default.
- W2167661609 hasConcept C124681953 @default.
- W2167661609 hasConcept C132525143 @default.
- W2167661609 hasConcept C138885662 @default.
- W2167661609 hasConcept C18903297 @default.
- W2167661609 hasConcept C2777159308 @default.
- W2167661609 hasConcept C41008148 @default.
- W2167661609 hasConcept C41895202 @default.
- W2167661609 hasConcept C558772884 @default.
- W2167661609 hasConcept C80444323 @default.
- W2167661609 hasConcept C86803240 @default.
- W2167661609 hasConceptScore W2167661609C111472728 @default.
- W2167661609 hasConceptScore W2167661609C124304363 @default.
- W2167661609 hasConceptScore W2167661609C124681953 @default.
- W2167661609 hasConceptScore W2167661609C132525143 @default.
- W2167661609 hasConceptScore W2167661609C138885662 @default.
- W2167661609 hasConceptScore W2167661609C18903297 @default.
- W2167661609 hasConceptScore W2167661609C2777159308 @default.
- W2167661609 hasConceptScore W2167661609C41008148 @default.
- W2167661609 hasConceptScore W2167661609C41895202 @default.
- W2167661609 hasConceptScore W2167661609C558772884 @default.
- W2167661609 hasConceptScore W2167661609C80444323 @default.
- W2167661609 hasConceptScore W2167661609C86803240 @default.
- W2167661609 hasLocation W21676616091 @default.
- W2167661609 hasOpenAccess W2167661609 @default.
- W2167661609 hasPrimaryLocation W21676616091 @default.
- W2167661609 hasRelatedWork W1547029360 @default.
- W2167661609 hasRelatedWork W1570314198 @default.
- W2167661609 hasRelatedWork W1593468126 @default.
- W2167661609 hasRelatedWork W1597906851 @default.
- W2167661609 hasRelatedWork W1779474000 @default.
- W2167661609 hasRelatedWork W179785347 @default.
- W2167661609 hasRelatedWork W1854891796 @default.
- W2167661609 hasRelatedWork W1965412645 @default.
- W2167661609 hasRelatedWork W1989383032 @default.
- W2167661609 hasRelatedWork W2102179209 @default.
- W2167661609 hasRelatedWork W2110876598 @default.
- W2167661609 hasRelatedWork W2113672230 @default.
- W2167661609 hasRelatedWork W2116294757 @default.
- W2167661609 hasRelatedWork W2126606633 @default.
- W2167661609 hasRelatedWork W2133910045 @default.
- W2167661609 hasRelatedWork W2146571888 @default.
- W2167661609 hasRelatedWork W2162519285 @default.
- W2167661609 hasRelatedWork W2583660833 @default.
- W2167661609 hasRelatedWork W2749142100 @default.
- W2167661609 hasRelatedWork W2969573567 @default.
- W2167661609 isParatext "false" @default.
- W2167661609 isRetracted "false" @default.
- W2167661609 magId "2167661609" @default.
- W2167661609 workType "article" @default.