Matches in SemOpenAlex for { <https://semopenalex.org/work/W2800996886> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2800996886 endingPage "296" @default.
- W2800996886 startingPage "281" @default.
- W2800996886 abstract "This paper reports on the development of a formal model for the Hybrid ERTMS/ETCS Level 3 concept in Electrum, a lightweight formal specification language that extends Alloy with mutable relations and temporal logic operators. We show how Electrum and its Analyzer can be used to perform scenario exploration to validate this model, namely to check that all the operational scenarios described in the reference document are admissible, and to reason about expected safety properties, which can be easily specified and model checked for arbitrary track configurations. We also show how the Analyzer can be used to depict scenarios (and counter-examples) in a graphical notation that is logic-agnostic, making them understandable by stakeholders without expertise in formal specification." @default.
- W2800996886 created "2018-05-17" @default.
- W2800996886 creator A5040416986 @default.
- W2800996886 creator A5069927997 @default.
- W2800996886 date "2019-09-26" @default.
- W2800996886 modified "2023-09-29" @default.
- W2800996886 title "Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum" @default.
- W2800996886 cites W1544621933 @default.
- W2800996886 cites W1971486022 @default.
- W2800996886 cites W1985804037 @default.
- W2800996886 cites W2120657631 @default.
- W2800996886 cites W2171304689 @default.
- W2800996886 cites W2525665404 @default.
- W2800996886 cites W2528410472 @default.
- W2800996886 cites W2785893179 @default.
- W2800996886 cites W2799958987 @default.
- W2800996886 cites W2801429964 @default.
- W2800996886 cites W2802031355 @default.
- W2800996886 cites W2802279064 @default.
- W2800996886 cites W2802346131 @default.
- W2800996886 cites W2802660378 @default.
- W2800996886 cites W2952559745 @default.
- W2800996886 cites W3193268718 @default.
- W2800996886 cites W4244819751 @default.
- W2800996886 doi "https://doi.org/10.1007/s10009-019-00540-4" @default.
- W2800996886 hasPublicationYear "2019" @default.
- W2800996886 type Work @default.
- W2800996886 sameAs 2800996886 @default.
- W2800996886 citedByCount "11" @default.
- W2800996886 countsByYear W28009968862020 @default.
- W2800996886 countsByYear W28009968862021 @default.
- W2800996886 countsByYear W28009968862022 @default.
- W2800996886 countsByYear W28009968862023 @default.
- W2800996886 crossrefType "journal-article" @default.
- W2800996886 hasAuthorship W2800996886A5040416986 @default.
- W2800996886 hasAuthorship W2800996886A5069927997 @default.
- W2800996886 hasBestOaLocation W28009968862 @default.
- W2800996886 hasConcept C111498074 @default.
- W2800996886 hasConcept C115903868 @default.
- W2800996886 hasConcept C199360897 @default.
- W2800996886 hasConcept C24858836 @default.
- W2800996886 hasConcept C33923547 @default.
- W2800996886 hasConcept C41008148 @default.
- W2800996886 hasConcept C45357846 @default.
- W2800996886 hasConcept C75606506 @default.
- W2800996886 hasConcept C94375191 @default.
- W2800996886 hasConceptScore W2800996886C111498074 @default.
- W2800996886 hasConceptScore W2800996886C115903868 @default.
- W2800996886 hasConceptScore W2800996886C199360897 @default.
- W2800996886 hasConceptScore W2800996886C24858836 @default.
- W2800996886 hasConceptScore W2800996886C33923547 @default.
- W2800996886 hasConceptScore W2800996886C41008148 @default.
- W2800996886 hasConceptScore W2800996886C45357846 @default.
- W2800996886 hasConceptScore W2800996886C75606506 @default.
- W2800996886 hasConceptScore W2800996886C94375191 @default.
- W2800996886 hasIssue "3" @default.
- W2800996886 hasLocation W28009968861 @default.
- W2800996886 hasLocation W28009968862 @default.
- W2800996886 hasLocation W28009968863 @default.
- W2800996886 hasLocation W28009968864 @default.
- W2800996886 hasLocation W28009968865 @default.
- W2800996886 hasOpenAccess W2800996886 @default.
- W2800996886 hasPrimaryLocation W28009968861 @default.
- W2800996886 hasRelatedWork W1509154515 @default.
- W2800996886 hasRelatedWork W1839061677 @default.
- W2800996886 hasRelatedWork W2099374974 @default.
- W2800996886 hasRelatedWork W2121507724 @default.
- W2800996886 hasRelatedWork W2125996595 @default.
- W2800996886 hasRelatedWork W2164213600 @default.
- W2800996886 hasRelatedWork W2387645942 @default.
- W2800996886 hasRelatedWork W2730791620 @default.
- W2800996886 hasRelatedWork W2915620968 @default.
- W2800996886 hasRelatedWork W4214599791 @default.
- W2800996886 hasVolume "22" @default.
- W2800996886 isParatext "false" @default.
- W2800996886 isRetracted "false" @default.
- W2800996886 magId "2800996886" @default.
- W2800996886 workType "article" @default.