Matches in SemOpenAlex for { <https://semopenalex.org/work/W3148100413> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3148100413 endingPage "131" @default.
- W3148100413 startingPage "120" @default.
- W3148100413 abstract "A new solution to the Generalized Railroad Crossing problem, based on timed automata, invariants and simulation mappings, is presented and evaluated. The solution shows formally the correspondence between four system descriptions: an axiomatic specification, an operational specification, a discrete system implementation, and a system implementatdon that works with a continuous gate model." @default.
- W3148100413 created "2021-04-13" @default.
- W3148100413 creator A5004724179 @default.
- W3148100413 creator A5071944803 @default.
- W3148100413 date "1994-11-01" @default.
- W3148100413 modified "2023-09-24" @default.
- W3148100413 title "The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems" @default.
- W3148100413 cites W1498342204 @default.
- W3148100413 cites W1540401207 @default.
- W3148100413 cites W1541064517 @default.
- W3148100413 cites W1557363488 @default.
- W3148100413 cites W1575028430 @default.
- W3148100413 cites W1583095677 @default.
- W3148100413 cites W1658016212 @default.
- W3148100413 cites W1971107784 @default.
- W3148100413 cites W2043695863 @default.
- W3148100413 cites W2056359803 @default.
- W3148100413 cites W2120670175 @default.
- W3148100413 cites W2125617568 @default.
- W3148100413 cites W2138246995 @default.
- W3148100413 cites W3144368627 @default.
- W3148100413 hasPublicationYear "1994" @default.
- W3148100413 type Work @default.
- W3148100413 sameAs 3148100413 @default.
- W3148100413 citedByCount "0" @default.
- W3148100413 crossrefType "proceedings-article" @default.
- W3148100413 hasAuthorship W3148100413A5004724179 @default.
- W3148100413 hasAuthorship W3148100413A5071944803 @default.
- W3148100413 hasConcept C111498074 @default.
- W3148100413 hasConcept C112505250 @default.
- W3148100413 hasConcept C11413529 @default.
- W3148100413 hasConcept C116253237 @default.
- W3148100413 hasConcept C167729594 @default.
- W3148100413 hasConcept C199360897 @default.
- W3148100413 hasConcept C2524010 @default.
- W3148100413 hasConcept C33923547 @default.
- W3148100413 hasConcept C41008148 @default.
- W3148100413 hasConcept C75606506 @default.
- W3148100413 hasConcept C80444323 @default.
- W3148100413 hasConceptScore W3148100413C111498074 @default.
- W3148100413 hasConceptScore W3148100413C112505250 @default.
- W3148100413 hasConceptScore W3148100413C11413529 @default.
- W3148100413 hasConceptScore W3148100413C116253237 @default.
- W3148100413 hasConceptScore W3148100413C167729594 @default.
- W3148100413 hasConceptScore W3148100413C199360897 @default.
- W3148100413 hasConceptScore W3148100413C2524010 @default.
- W3148100413 hasConceptScore W3148100413C33923547 @default.
- W3148100413 hasConceptScore W3148100413C41008148 @default.
- W3148100413 hasConceptScore W3148100413C75606506 @default.
- W3148100413 hasConceptScore W3148100413C80444323 @default.
- W3148100413 hasLocation W31481004131 @default.
- W3148100413 hasOpenAccess W3148100413 @default.
- W3148100413 hasPrimaryLocation W31481004131 @default.
- W3148100413 hasRelatedWork W1494060794 @default.
- W3148100413 hasRelatedWork W1494712994 @default.
- W3148100413 hasRelatedWork W1582888271 @default.
- W3148100413 hasRelatedWork W1611636308 @default.
- W3148100413 hasRelatedWork W1758612634 @default.
- W3148100413 hasRelatedWork W1955307309 @default.
- W3148100413 hasRelatedWork W198630214 @default.
- W3148100413 hasRelatedWork W1986558577 @default.
- W3148100413 hasRelatedWork W2013108521 @default.
- W3148100413 hasRelatedWork W2060070465 @default.
- W3148100413 hasRelatedWork W2121341646 @default.
- W3148100413 hasRelatedWork W2123962007 @default.
- W3148100413 hasRelatedWork W2128238437 @default.
- W3148100413 hasRelatedWork W2144807261 @default.
- W3148100413 hasRelatedWork W2153984857 @default.
- W3148100413 hasRelatedWork W2157120282 @default.
- W3148100413 hasRelatedWork W2162720486 @default.
- W3148100413 hasRelatedWork W2166236578 @default.
- W3148100413 hasRelatedWork W2290308002 @default.
- W3148100413 hasRelatedWork W2537827883 @default.
- W3148100413 isParatext "false" @default.
- W3148100413 isRetracted "false" @default.
- W3148100413 magId "3148100413" @default.
- W3148100413 workType "article" @default.