Matches in SemOpenAlex for { <https://semopenalex.org/work/W97809275> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W97809275 endingPage "136" @default.
- W97809275 startingPage "131" @default.
- W97809275 abstract "Just as what the public pursue, we need a much safer railway system with a higher level of automation in control. To achieve this goal, the author aims to specify the Train Control System by formal methods which can specify the communication of various processes in the system clearly. This paper applies Timed-CSP which concerns the time-delay to the specification of the control flow and communication among flows in Train Control System, and specifies the state and data change by Object-Z. By Timed-CSP and Object-Z, the specification of a simplified Train Control System especially the time constraints is more concrete." @default.
- W97809275 created "2016-06-24" @default.
- W97809275 creator A5000543337 @default.
- W97809275 creator A5045000548 @default.
- W97809275 date "2014-01-01" @default.
- W97809275 modified "2023-09-23" @default.
- W97809275 title "Specification of Train Control Systems Using Formal Methods" @default.
- W97809275 cites W1502684417 @default.
- W97809275 cites W1904803564 @default.
- W97809275 cites W1985660652 @default.
- W97809275 cites W2109788613 @default.
- W97809275 cites W2146991974 @default.
- W97809275 doi "https://doi.org/10.1007/978-3-642-40675-1_21" @default.
- W97809275 hasPublicationYear "2014" @default.
- W97809275 type Work @default.
- W97809275 sameAs 97809275 @default.
- W97809275 citedByCount "1" @default.
- W97809275 countsByYear W978092752014 @default.
- W97809275 crossrefType "book-chapter" @default.
- W97809275 hasAuthorship W97809275A5000543337 @default.
- W97809275 hasAuthorship W97809275A5045000548 @default.
- W97809275 hasConcept C154945302 @default.
- W97809275 hasConcept C199360897 @default.
- W97809275 hasConcept C2775924081 @default.
- W97809275 hasConcept C41008148 @default.
- W97809275 hasConcept C75606506 @default.
- W97809275 hasConceptScore W97809275C154945302 @default.
- W97809275 hasConceptScore W97809275C199360897 @default.
- W97809275 hasConceptScore W97809275C2775924081 @default.
- W97809275 hasConceptScore W97809275C41008148 @default.
- W97809275 hasConceptScore W97809275C75606506 @default.
- W97809275 hasLocation W978092751 @default.
- W97809275 hasOpenAccess W97809275 @default.
- W97809275 hasPrimaryLocation W978092751 @default.
- W97809275 hasRelatedWork W1524361563 @default.
- W97809275 hasRelatedWork W1964111820 @default.
- W97809275 hasRelatedWork W1965722552 @default.
- W97809275 hasRelatedWork W1974695136 @default.
- W97809275 hasRelatedWork W2054360185 @default.
- W97809275 hasRelatedWork W2084453779 @default.
- W97809275 hasRelatedWork W2370841479 @default.
- W97809275 hasRelatedWork W3005871351 @default.
- W97809275 hasRelatedWork W3091728393 @default.
- W97809275 hasRelatedWork W4251973912 @default.
- W97809275 isParatext "false" @default.
- W97809275 isRetracted "false" @default.
- W97809275 magId "97809275" @default.
- W97809275 workType "book-chapter" @default.