Matches in SemOpenAlex for { <https://semopenalex.org/work/W2479446542> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2479446542 abstract "Choosing the Event-B formal method to model and develop distributed railway interlocking systems can give us a great advantage over the general purpose programming languages, especially in case of the safety analysis of these systems. Despite its many benefits, Event-B suffers from an efficient reuse mechanism, which is highly disadvantageous in the development of large interlocking systems. In this paper we propose a structured approach to modelling and developing large geographical interlocking systems, combining the communication models of session types with the railway entity models of Event-B. This work combines Event-B with a component-based reuse strategy realized with session types and consists of an Event-B extension with communication primitives to enable communication between the railway entities, a projection of session type specifications and a verification mechanism for these specifications to ensure global safety by the local verification of entities." @default.
- W2479446542 created "2016-08-23" @default.
- W2479446542 creator A5025718815 @default.
- W2479446542 creator A5080795652 @default.
- W2479446542 date "2016-05-01" @default.
- W2479446542 modified "2023-09-23" @default.
- W2479446542 title "Developing railway interlocking systems with session types and Event-B" @default.
- W2479446542 cites W130341670 @default.
- W2479446542 cites W1511544530 @default.
- W2479446542 cites W1974314710 @default.
- W2479446542 cites W2005274596 @default.
- W2479446542 cites W2112230777 @default.
- W2479446542 cites W2125957727 @default.
- W2479446542 cites W2130445900 @default.
- W2479446542 cites W2141928434 @default.
- W2479446542 cites W2212008127 @default.
- W2479446542 cites W2219871211 @default.
- W2479446542 cites W2227488616 @default.
- W2479446542 cites W2244156369 @default.
- W2479446542 cites W2262585037 @default.
- W2479446542 cites W55626130 @default.
- W2479446542 cites W86241532 @default.
- W2479446542 doi "https://doi.org/10.1109/saci.2016.7507347" @default.
- W2479446542 hasPublicationYear "2016" @default.
- W2479446542 type Work @default.
- W2479446542 sameAs 2479446542 @default.
- W2479446542 citedByCount "3" @default.
- W2479446542 countsByYear W24794465422017 @default.
- W2479446542 countsByYear W24794465422019 @default.
- W2479446542 crossrefType "proceedings-article" @default.
- W2479446542 hasAuthorship W2479446542A5025718815 @default.
- W2479446542 hasAuthorship W2479446542A5080795652 @default.
- W2479446542 hasConcept C115903868 @default.
- W2479446542 hasConcept C120314980 @default.
- W2479446542 hasConcept C121332964 @default.
- W2479446542 hasConcept C127413603 @default.
- W2479446542 hasConcept C136764020 @default.
- W2479446542 hasConcept C168167062 @default.
- W2479446542 hasConcept C200601418 @default.
- W2479446542 hasConcept C206588197 @default.
- W2479446542 hasConcept C2778844933 @default.
- W2479446542 hasConcept C2779182362 @default.
- W2479446542 hasConcept C2779662365 @default.
- W2479446542 hasConcept C41008148 @default.
- W2479446542 hasConcept C548081761 @default.
- W2479446542 hasConcept C62520636 @default.
- W2479446542 hasConcept C97355855 @default.
- W2479446542 hasConceptScore W2479446542C115903868 @default.
- W2479446542 hasConceptScore W2479446542C120314980 @default.
- W2479446542 hasConceptScore W2479446542C121332964 @default.
- W2479446542 hasConceptScore W2479446542C127413603 @default.
- W2479446542 hasConceptScore W2479446542C136764020 @default.
- W2479446542 hasConceptScore W2479446542C168167062 @default.
- W2479446542 hasConceptScore W2479446542C200601418 @default.
- W2479446542 hasConceptScore W2479446542C206588197 @default.
- W2479446542 hasConceptScore W2479446542C2778844933 @default.
- W2479446542 hasConceptScore W2479446542C2779182362 @default.
- W2479446542 hasConceptScore W2479446542C2779662365 @default.
- W2479446542 hasConceptScore W2479446542C41008148 @default.
- W2479446542 hasConceptScore W2479446542C548081761 @default.
- W2479446542 hasConceptScore W2479446542C62520636 @default.
- W2479446542 hasConceptScore W2479446542C97355855 @default.
- W2479446542 hasLocation W24794465421 @default.
- W2479446542 hasOpenAccess W2479446542 @default.
- W2479446542 hasPrimaryLocation W24794465421 @default.
- W2479446542 hasRelatedWork W1534303209 @default.
- W2479446542 hasRelatedWork W1554534428 @default.
- W2479446542 hasRelatedWork W1591964031 @default.
- W2479446542 hasRelatedWork W1602862007 @default.
- W2479446542 hasRelatedWork W1997975412 @default.
- W2479446542 hasRelatedWork W2051256649 @default.
- W2479446542 hasRelatedWork W2057792058 @default.
- W2479446542 hasRelatedWork W2058813169 @default.
- W2479446542 hasRelatedWork W2097815005 @default.
- W2479446542 hasRelatedWork W2108126012 @default.
- W2479446542 hasRelatedWork W2109511919 @default.
- W2479446542 hasRelatedWork W2112024993 @default.
- W2479446542 hasRelatedWork W2121713764 @default.
- W2479446542 hasRelatedWork W2134735924 @default.
- W2479446542 hasRelatedWork W2148250158 @default.
- W2479446542 hasRelatedWork W2167259408 @default.
- W2479446542 hasRelatedWork W2341541049 @default.
- W2479446542 hasRelatedWork W2350014215 @default.
- W2479446542 hasRelatedWork W2891822718 @default.
- W2479446542 hasRelatedWork W319824291 @default.
- W2479446542 isParatext "false" @default.
- W2479446542 isRetracted "false" @default.
- W2479446542 magId "2479446542" @default.
- W2479446542 workType "article" @default.