Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013116139> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2013116139 endingPage "70" @default.
- W2013116139 startingPage "65" @default.
- W2013116139 abstract "This paper introduced a novel railway system, Automatic Train Protection and Block (ATPB) briefly, which is proposed to improve the efficiency of existing regional train lines with low cost in Japan. The biggest superiority of ATPB system is a great use of universal and mature technologies, such as GPS and regular mobile telephone networks, so that there is nearly no increment of trackside equipments in the reconstruction. Then in order to guarantee the system safety, a formal model of ATPB is established and analyzed by formal method VDM++. Firstly, the specification is specified by VDM++ formally without ambiguity. Secondly, its internal consistency is proved by discharging the proof obligations. And finally, its satisfiability is checked by systematic testing, which executes specification and checks the outputs against corresponding inputs." @default.
- W2013116139 created "2016-06-24" @default.
- W2013116139 creator A5000799818 @default.
- W2013116139 creator A5050917634 @default.
- W2013116139 creator A5064612688 @default.
- W2013116139 creator A5073391035 @default.
- W2013116139 creator A5082836616 @default.
- W2013116139 date "2012-05-31" @default.
- W2013116139 modified "2023-10-09" @default.
- W2013116139 title "Formal Analysis of Automatic Train Protection and Block System for Regional Line Using VDM++" @default.
- W2013116139 cites W1554863622 @default.
- W2013116139 cites W1604245053 @default.
- W2013116139 cites W1604322069 @default.
- W2013116139 cites W1976635569 @default.
- W2013116139 cites W2014257834 @default.
- W2013116139 cites W2107599527 @default.
- W2013116139 cites W2112224471 @default.
- W2013116139 cites W2114754412 @default.
- W2013116139 cites W2127159302 @default.
- W2013116139 doi "https://doi.org/10.7782/ijr.2012.5.2.065" @default.
- W2013116139 hasPublicationYear "2012" @default.
- W2013116139 type Work @default.
- W2013116139 sameAs 2013116139 @default.
- W2013116139 citedByCount "2" @default.
- W2013116139 countsByYear W20131161392012 @default.
- W2013116139 countsByYear W20131161392020 @default.
- W2013116139 crossrefType "journal-article" @default.
- W2013116139 hasAuthorship W2013116139A5000799818 @default.
- W2013116139 hasAuthorship W2013116139A5050917634 @default.
- W2013116139 hasAuthorship W2013116139A5064612688 @default.
- W2013116139 hasAuthorship W2013116139A5073391035 @default.
- W2013116139 hasAuthorship W2013116139A5082836616 @default.
- W2013116139 hasBestOaLocation W20131161391 @default.
- W2013116139 hasConcept C111498074 @default.
- W2013116139 hasConcept C111919701 @default.
- W2013116139 hasConcept C11413529 @default.
- W2013116139 hasConcept C115903868 @default.
- W2013116139 hasConcept C127413603 @default.
- W2013116139 hasConcept C149635348 @default.
- W2013116139 hasConcept C154945302 @default.
- W2013116139 hasConcept C168773769 @default.
- W2013116139 hasConcept C199360897 @default.
- W2013116139 hasConcept C200601418 @default.
- W2013116139 hasConcept C2524010 @default.
- W2013116139 hasConcept C2776436953 @default.
- W2013116139 hasConcept C2777210771 @default.
- W2013116139 hasConcept C2780522230 @default.
- W2013116139 hasConcept C33923547 @default.
- W2013116139 hasConcept C41008148 @default.
- W2013116139 hasConcept C60229501 @default.
- W2013116139 hasConcept C75606506 @default.
- W2013116139 hasConceptScore W2013116139C111498074 @default.
- W2013116139 hasConceptScore W2013116139C111919701 @default.
- W2013116139 hasConceptScore W2013116139C11413529 @default.
- W2013116139 hasConceptScore W2013116139C115903868 @default.
- W2013116139 hasConceptScore W2013116139C127413603 @default.
- W2013116139 hasConceptScore W2013116139C149635348 @default.
- W2013116139 hasConceptScore W2013116139C154945302 @default.
- W2013116139 hasConceptScore W2013116139C168773769 @default.
- W2013116139 hasConceptScore W2013116139C199360897 @default.
- W2013116139 hasConceptScore W2013116139C200601418 @default.
- W2013116139 hasConceptScore W2013116139C2524010 @default.
- W2013116139 hasConceptScore W2013116139C2776436953 @default.
- W2013116139 hasConceptScore W2013116139C2777210771 @default.
- W2013116139 hasConceptScore W2013116139C2780522230 @default.
- W2013116139 hasConceptScore W2013116139C33923547 @default.
- W2013116139 hasConceptScore W2013116139C41008148 @default.
- W2013116139 hasConceptScore W2013116139C60229501 @default.
- W2013116139 hasConceptScore W2013116139C75606506 @default.
- W2013116139 hasIssue "2" @default.
- W2013116139 hasLocation W20131161391 @default.
- W2013116139 hasOpenAccess W2013116139 @default.
- W2013116139 hasPrimaryLocation W20131161391 @default.
- W2013116139 hasRelatedWork W1483813818 @default.
- W2013116139 hasRelatedWork W1524361563 @default.
- W2013116139 hasRelatedWork W1988166986 @default.
- W2013116139 hasRelatedWork W2084453779 @default.
- W2013116139 hasRelatedWork W2155028959 @default.
- W2013116139 hasRelatedWork W2370841479 @default.
- W2013116139 hasRelatedWork W2786673699 @default.
- W2013116139 hasRelatedWork W3091728393 @default.
- W2013116139 hasRelatedWork W4254565213 @default.
- W2013116139 hasRelatedWork W57231800 @default.
- W2013116139 hasVolume "5" @default.
- W2013116139 isParatext "false" @default.
- W2013116139 isRetracted "false" @default.
- W2013116139 magId "2013116139" @default.
- W2013116139 workType "article" @default.