FRINK Linked Data Fragments server

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

• W2884527451 abstract "Hybrid systems are a powerful formalism for modeling cyber-physical systems. Reachability analysis is a general method for checking safety properties, especially in the presence of uncertainty and non-determinism. Rigorous simulation is a convenient tool for reachability analysis of hybrid systems. However, to serve as proof tool, a rigorous simulator must be correct w.r.t. a clearly defined notion of reachability, which captures what is intuitively reachable in finite time." @default.
• W2884527451 created "2018-08-03" @default.
• W2884527451 creator A5008976751 @default.
• W2884527451 creator A5052465982 @default.
• W2884527451 creator A5060518986 @default.
• W2884527451 creator A5076037756 @default.
• W2884527451 date "2018-01-01" @default.
• W2884527451 modified "2023-09-23" @default.
• W2884527451 title "A Semantic Account of Rigorous Simulation" @default.
• W2884527451 cites W1261665204 @default.
• W2884527451 cites W1995691455 @default.
• W2884527451 cites W2004463571 @default.
• W2884527451 cites W2022873700 @default.
• W2884527451 cites W2046497103 @default.
• W2884527451 cites W2049316772 @default.
• W2884527451 cites W2068864491 @default.
• W2884527451 cites W2084875723 @default.
• W2884527451 cites W2099308299 @default.
• W2884527451 cites W2113239343 @default.
• W2884527451 cites W2120666720 @default.
• W2884527451 cites W2147340401 @default.
• W2884527451 cites W2155553330 @default.
• W2884527451 cites W2410735627 @default.
• W2884527451 cites W2605093234 @default.
• W2884527451 cites W2619729346 @default.
• W2884527451 cites W2755572239 @default.
• W2884527451 cites W2912589708 @default.
• W2884527451 cites W4254470225 @default.
• W2884527451 cites W4298255709 @default.
• W2884527451 doi "https://doi.org/10.1007/978-3-319-95246-8_13" @default.
• W2884527451 hasPublicationYear "2018" @default.
• W2884527451 type Work @default.
• W2884527451 sameAs 2884527451 @default.
• W2884527451 citedByCount "0" @default.
• W2884527451 crossrefType "book-chapter" @default.
• W2884527451 hasAuthorship W2884527451A5008976751 @default.
• W2884527451 hasAuthorship W2884527451A5052465982 @default.
• W2884527451 hasAuthorship W2884527451A5060518986 @default.
• W2884527451 hasAuthorship W2884527451A5076037756 @default.
• W2884527451 hasConcept C110251889 @default.
• W2884527451 hasConcept C111498074 @default.
• W2884527451 hasConcept C112505250 @default.
• W2884527451 hasConcept C11413529 @default.
• W2884527451 hasConcept C119857082 @default.
• W2884527451 hasConcept C121332964 @default.
• W2884527451 hasConcept C136643341 @default.
• W2884527451 hasConcept C142362112 @default.
• W2884527451 hasConcept C153349607 @default.
• W2884527451 hasConcept C192183473 @default.
• W2884527451 hasConcept C199360897 @default.
• W2884527451 hasConcept C2777669093 @default.
• W2884527451 hasConcept C41008148 @default.
• W2884527451 hasConcept C50897621 @default.
• W2884527451 hasConcept C558565934 @default.
• W2884527451 hasConcept C62520636 @default.
• W2884527451 hasConcept C73301696 @default.
• W2884527451 hasConcept C80444323 @default.
• W2884527451 hasConceptScore W2884527451C110251889 @default.
• W2884527451 hasConceptScore W2884527451C111498074 @default.
• W2884527451 hasConceptScore W2884527451C112505250 @default.
• W2884527451 hasConceptScore W2884527451C11413529 @default.
• W2884527451 hasConceptScore W2884527451C119857082 @default.
• W2884527451 hasConceptScore W2884527451C121332964 @default.
• W2884527451 hasConceptScore W2884527451C136643341 @default.
• W2884527451 hasConceptScore W2884527451C142362112 @default.
• W2884527451 hasConceptScore W2884527451C153349607 @default.
• W2884527451 hasConceptScore W2884527451C192183473 @default.
• W2884527451 hasConceptScore W2884527451C199360897 @default.
• W2884527451 hasConceptScore W2884527451C2777669093 @default.
• W2884527451 hasConceptScore W2884527451C41008148 @default.
• W2884527451 hasConceptScore W2884527451C50897621 @default.
• W2884527451 hasConceptScore W2884527451C558565934 @default.
• W2884527451 hasConceptScore W2884527451C62520636 @default.
• W2884527451 hasConceptScore W2884527451C73301696 @default.
• W2884527451 hasConceptScore W2884527451C80444323 @default.
• W2884527451 hasLocation W28845274511 @default.
• W2884527451 hasOpenAccess W2884527451 @default.
• W2884527451 hasPrimaryLocation W28845274511 @default.
• W2884527451 hasRelatedWork W111006764 @default.
• W2884527451 hasRelatedWork W1511965757 @default.
• W2884527451 hasRelatedWork W1601320636 @default.
• W2884527451 hasRelatedWork W186611154 @default.
• W2884527451 hasRelatedWork W1874310605 @default.
• W2884527451 hasRelatedWork W1876619044 @default.
• W2884527451 hasRelatedWork W1967091946 @default.
• W2884527451 hasRelatedWork W1979669672 @default.
• W2884527451 hasRelatedWork W2014066180 @default.
• W2884527451 hasRelatedWork W2086845443 @default.
• W2884527451 hasRelatedWork W2103416572 @default.
• W2884527451 hasRelatedWork W2110478678 @default.
• W2884527451 hasRelatedWork W2159349199 @default.
• W2884527451 hasRelatedWork W2180475648 @default.
• W2884527451 hasRelatedWork W2265529395 @default.
• W2884527451 hasRelatedWork W2485579498 @default.
• W2884527451 hasRelatedWork W2497391310 @default.
• W2884527451 hasRelatedWork W2763862465 @default.
• W2884527451 hasRelatedWork W2955741828 @default.
• W2884527451 hasRelatedWork W2303470490 @default.
• W2884527451 isParatext "false" @default.
• W2884527451 isRetracted "false" @default.

• next