Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895888980> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2895888980 abstract "Hybrid systems represent a major part of nowadays’s technology. They are present under many forms and in many safety-critical applications. Hence, the question of guaranteeing such systems’ behaviour is a key issue that must be addressed." @default.
- W2895888980 created "2018-10-26" @default.
- W2895888980 creator A5018183217 @default.
- W2895888980 creator A5022556282 @default.
- W2895888980 creator A5023959155 @default.
- W2895888980 creator A5051322835 @default.
- W2895888980 date "2018-01-01" @default.
- W2895888980 modified "2023-09-26" @default.
- W2895888980 title "Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist" @default.
- W2895888980 cites W1535116423 @default.
- W2895888980 cites W1905380539 @default.
- W2895888980 cites W1995691455 @default.
- W2895888980 cites W2007638356 @default.
- W2895888980 cites W2013562423 @default.
- W2895888980 cites W2057214761 @default.
- W2895888980 cites W2105354064 @default.
- W2895888980 cites W2800102471 @default.
- W2895888980 cites W291301762 @default.
- W2895888980 cites W4244819751 @default.
- W2895888980 cites W856973001 @default.
- W2895888980 doi "https://doi.org/10.1007/978-3-030-02852-7_14" @default.
- W2895888980 hasPublicationYear "2018" @default.
- W2895888980 type Work @default.
- W2895888980 sameAs 2895888980 @default.
- W2895888980 citedByCount "5" @default.
- W2895888980 countsByYear W28958889802019 @default.
- W2895888980 countsByYear W28958889802020 @default.
- W2895888980 crossrefType "book-chapter" @default.
- W2895888980 hasAuthorship W2895888980A5018183217 @default.
- W2895888980 hasAuthorship W2895888980A5022556282 @default.
- W2895888980 hasAuthorship W2895888980A5023959155 @default.
- W2895888980 hasAuthorship W2895888980A5051322835 @default.
- W2895888980 hasConcept C121332964 @default.
- W2895888980 hasConcept C2779662365 @default.
- W2895888980 hasConcept C41008148 @default.
- W2895888980 hasConcept C44870925 @default.
- W2895888980 hasConcept C46141821 @default.
- W2895888980 hasConcept C85641259 @default.
- W2895888980 hasConceptScore W2895888980C121332964 @default.
- W2895888980 hasConceptScore W2895888980C2779662365 @default.
- W2895888980 hasConceptScore W2895888980C41008148 @default.
- W2895888980 hasConceptScore W2895888980C44870925 @default.
- W2895888980 hasConceptScore W2895888980C46141821 @default.
- W2895888980 hasConceptScore W2895888980C85641259 @default.
- W2895888980 hasLocation W28958889801 @default.
- W2895888980 hasLocation W28958889802 @default.
- W2895888980 hasLocation W28958889803 @default.
- W2895888980 hasOpenAccess W2895888980 @default.
- W2895888980 hasPrimaryLocation W28958889801 @default.
- W2895888980 hasRelatedWork W228809297 @default.
- W2895888980 hasRelatedWork W2357007603 @default.
- W2895888980 hasRelatedWork W2369105145 @default.
- W2895888980 hasRelatedWork W2375382787 @default.
- W2895888980 hasRelatedWork W2748952813 @default.
- W2895888980 hasRelatedWork W2753901553 @default.
- W2895888980 hasRelatedWork W2804368879 @default.
- W2895888980 hasRelatedWork W2899084033 @default.
- W2895888980 hasRelatedWork W4248661837 @default.
- W2895888980 hasRelatedWork W943151747 @default.
- W2895888980 isParatext "false" @default.
- W2895888980 isRetracted "false" @default.
- W2895888980 magId "2895888980" @default.
- W2895888980 workType "book-chapter" @default.