Matches in SemOpenAlex for { <https://semopenalex.org/work/W1565169635> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1565169635 endingPage "649" @default.
- W1565169635 startingPage "646" @default.
- W1565169635 abstract "We formally verify hybrid safety properties of cooperation protocols in a fully parametric version of the European Train Control System (ETCS). We present a formal model using hybrid programs and verify correctness using our logic-based decomposition procedure. This procedure supports free parameters and parameter discovery, which is required to determine correct design choices for free parameters of ETCS." @default.
- W1565169635 created "2016-06-24" @default.
- W1565169635 creator A5080481427 @default.
- W1565169635 creator A5081682092 @default.
- W1565169635 date "2008-07-17" @default.
- W1565169635 modified "2023-10-10" @default.
- W1565169635 title "Logical Verification and Systematic Parametric Analysis in Train Control" @default.
- W1565169635 cites W1485333286 @default.
- W1565169635 cites W1522694098 @default.
- W1565169635 cites W1930225646 @default.
- W1565169635 cites W1977444293 @default.
- W1565169635 cites W2103945078 @default.
- W1565169635 cites W2124778357 @default.
- W1565169635 cites W2166802518 @default.
- W1565169635 cites W4239007999 @default.
- W1565169635 doi "https://doi.org/10.1007/978-3-540-78929-1_55" @default.
- W1565169635 hasPublicationYear "2008" @default.
- W1565169635 type Work @default.
- W1565169635 sameAs 1565169635 @default.
- W1565169635 citedByCount "21" @default.
- W1565169635 countsByYear W15651696352012 @default.
- W1565169635 countsByYear W15651696352013 @default.
- W1565169635 countsByYear W15651696352018 @default.
- W1565169635 countsByYear W15651696352019 @default.
- W1565169635 countsByYear W15651696352022 @default.
- W1565169635 crossrefType "book-chapter" @default.
- W1565169635 hasAuthorship W1565169635A5080481427 @default.
- W1565169635 hasAuthorship W1565169635A5081682092 @default.
- W1565169635 hasBestOaLocation W15651696352 @default.
- W1565169635 hasConcept C105795698 @default.
- W1565169635 hasConcept C110251889 @default.
- W1565169635 hasConcept C111498074 @default.
- W1565169635 hasConcept C11413529 @default.
- W1565169635 hasConcept C117251300 @default.
- W1565169635 hasConcept C199360897 @default.
- W1565169635 hasConcept C2776350369 @default.
- W1565169635 hasConcept C33923547 @default.
- W1565169635 hasConcept C41008148 @default.
- W1565169635 hasConcept C55439883 @default.
- W1565169635 hasConcept C75606506 @default.
- W1565169635 hasConcept C80444323 @default.
- W1565169635 hasConceptScore W1565169635C105795698 @default.
- W1565169635 hasConceptScore W1565169635C110251889 @default.
- W1565169635 hasConceptScore W1565169635C111498074 @default.
- W1565169635 hasConceptScore W1565169635C11413529 @default.
- W1565169635 hasConceptScore W1565169635C117251300 @default.
- W1565169635 hasConceptScore W1565169635C199360897 @default.
- W1565169635 hasConceptScore W1565169635C2776350369 @default.
- W1565169635 hasConceptScore W1565169635C33923547 @default.
- W1565169635 hasConceptScore W1565169635C41008148 @default.
- W1565169635 hasConceptScore W1565169635C55439883 @default.
- W1565169635 hasConceptScore W1565169635C75606506 @default.
- W1565169635 hasConceptScore W1565169635C80444323 @default.
- W1565169635 hasLocation W15651696351 @default.
- W1565169635 hasLocation W15651696352 @default.
- W1565169635 hasOpenAccess W1565169635 @default.
- W1565169635 hasPrimaryLocation W15651696351 @default.
- W1565169635 hasRelatedWork W1601757209 @default.
- W1565169635 hasRelatedWork W1950381142 @default.
- W1565169635 hasRelatedWork W2132243817 @default.
- W1565169635 hasRelatedWork W2155162307 @default.
- W1565169635 hasRelatedWork W2487509351 @default.
- W1565169635 hasRelatedWork W2503554208 @default.
- W1565169635 hasRelatedWork W2623736020 @default.
- W1565169635 hasRelatedWork W2741430969 @default.
- W1565169635 hasRelatedWork W4320038307 @default.
- W1565169635 hasRelatedWork W48721145 @default.
- W1565169635 isParatext "false" @default.
- W1565169635 isRetracted "false" @default.
- W1565169635 magId "1565169635" @default.
- W1565169635 workType "book-chapter" @default.