FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3026619672> ?p ?o ?g. }

• W3026619672 endingPage "301" @default.
• W3026619672 startingPage "281" @default.
• W3026619672 abstract "This case study continues the successful series of case studies for formal specification and verification of the ABZ conference series, which started with the landing gear system [1] and expanded with the hemodialysis medical device [4] and the European Train Control System (ETCS) [2] in the following years." @default.
• W3026619672 created "2020-05-29" @default.
• W3026619672 creator A5066984157 @default.
• W3026619672 creator A5078330103 @default.
• W3026619672 date "2020-01-01" @default.
• W3026619672 modified "2023-10-10" @default.
• W3026619672 title "Adaptive Exterior Light and Speed Control System" @default.
• W3026619672 cites W2489671462 @default.
• W3026619672 cites W2801429964 @default.
• W3026619672 cites W943604084 @default.
• W3026619672 doi "https://doi.org/10.1007/978-3-030-48077-6_24" @default.
• W3026619672 hasPublicationYear "2020" @default.
• W3026619672 type Work @default.
• W3026619672 sameAs 3026619672 @default.
• W3026619672 citedByCount "14" @default.
• W3026619672 countsByYear W30266196722020 @default.
• W3026619672 countsByYear W30266196722021 @default.
• W3026619672 countsByYear W30266196722022 @default.
• W3026619672 countsByYear W30266196722023 @default.
• W3026619672 crossrefType "book-chapter" @default.
• W3026619672 hasAuthorship W3026619672A5066984157 @default.
• W3026619672 hasAuthorship W3026619672A5078330103 @default.
• W3026619672 hasBestOaLocation W30266196721 @default.
• W3026619672 hasConcept C119599485 @default.
• W3026619672 hasConcept C127313418 @default.
• W3026619672 hasConcept C127413603 @default.
• W3026619672 hasConcept C133731056 @default.
• W3026619672 hasConcept C143724316 @default.
• W3026619672 hasConcept C151730666 @default.
• W3026619672 hasConcept C154945302 @default.
• W3026619672 hasConcept C17500928 @default.
• W3026619672 hasConcept C178802073 @default.
• W3026619672 hasConcept C2775924081 @default.
• W3026619672 hasConcept C41008148 @default.
• W3026619672 hasConceptScore W3026619672C119599485 @default.
• W3026619672 hasConceptScore W3026619672C127313418 @default.
• W3026619672 hasConceptScore W3026619672C127413603 @default.
• W3026619672 hasConceptScore W3026619672C133731056 @default.
• W3026619672 hasConceptScore W3026619672C143724316 @default.
• W3026619672 hasConceptScore W3026619672C151730666 @default.
• W3026619672 hasConceptScore W3026619672C154945302 @default.
• W3026619672 hasConceptScore W3026619672C17500928 @default.
• W3026619672 hasConceptScore W3026619672C178802073 @default.
• W3026619672 hasConceptScore W3026619672C2775924081 @default.
• W3026619672 hasConceptScore W3026619672C41008148 @default.
• W3026619672 hasLocation W30266196721 @default.
• W3026619672 hasOpenAccess W3026619672 @default.
• W3026619672 hasPrimaryLocation W30266196721 @default.
• W3026619672 hasRelatedWork W1522672041 @default.
• W3026619672 hasRelatedWork W2067674909 @default.
• W3026619672 hasRelatedWork W2116800748 @default.
• W3026619672 hasRelatedWork W2359079238 @default.
• W3026619672 hasRelatedWork W2374127410 @default.
• W3026619672 hasRelatedWork W2376572926 @default.
• W3026619672 hasRelatedWork W2387048957 @default.
• W3026619672 hasRelatedWork W2391865245 @default.
• W3026619672 hasRelatedWork W2617901630 @default.
• W3026619672 hasRelatedWork W2695291820 @default.
• W3026619672 isParatext "false" @default.
• W3026619672 isRetracted "false" @default.
• W3026619672 magId "3026619672" @default.
• W3026619672 workType "book-chapter" @default.