Matches in SemOpenAlex for { <https://semopenalex.org/work/W2171586821> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2171586821 abstract "In fault-tolerant computing, dependability of systems is usually demonstrated by abstracting from failure probabilities (under simplifying assumptions on failure occurrences). In the specification framework Focus, we show under which conditions and to which extent this is sound: We use a specification language that is interpreted in the usual abstract model and in a probabilistic model. We give probability bounds showing the degree of faithfulness of the abstract model wrt. the probabilistic one. These include cases where the usual assumptions are not fulfilled." @default.
- W2171586821 created "2016-06-24" @default.
- W2171586821 creator A5029120753 @default.
- W2171586821 date "2002-11-13" @default.
- W2171586821 modified "2023-09-28" @default.
- W2171586821 title "Abstracting from failure probabilities" @default.
- W2171586821 cites W1503029938 @default.
- W2171586821 cites W1523509419 @default.
- W2171586821 cites W1530422364 @default.
- W2171586821 cites W1561934984 @default.
- W2171586821 cites W1585611794 @default.
- W2171586821 cites W1729888041 @default.
- W2171586821 cites W1800631871 @default.
- W2171586821 cites W1846253165 @default.
- W2171586821 cites W1923391011 @default.
- W2171586821 cites W1929762880 @default.
- W2171586821 cites W2005998857 @default.
- W2171586821 cites W2028079360 @default.
- W2171586821 cites W2030875267 @default.
- W2171586821 cites W2097331548 @default.
- W2171586821 cites W2114224327 @default.
- W2171586821 cites W2121115481 @default.
- W2171586821 cites W2121313501 @default.
- W2171586821 cites W2125500714 @default.
- W2171586821 cites W2129384397 @default.
- W2171586821 cites W2245284424 @default.
- W2171586821 cites W2337623929 @default.
- W2171586821 cites W26564068 @default.
- W2171586821 cites W89759260 @default.
- W2171586821 cites W2508602472 @default.
- W2171586821 cites W3142790043 @default.
- W2171586821 doi "https://doi.org/10.1109/csd.2001.981764" @default.
- W2171586821 hasPublicationYear "2002" @default.
- W2171586821 type Work @default.
- W2171586821 sameAs 2171586821 @default.
- W2171586821 citedByCount "1" @default.
- W2171586821 crossrefType "proceedings-article" @default.
- W2171586821 hasAuthorship W2171586821A5029120753 @default.
- W2171586821 hasConcept C115903868 @default.
- W2171586821 hasConcept C120665830 @default.
- W2171586821 hasConcept C121332964 @default.
- W2171586821 hasConcept C127413603 @default.
- W2171586821 hasConcept C154945302 @default.
- W2171586821 hasConcept C163258240 @default.
- W2171586821 hasConcept C192209626 @default.
- W2171586821 hasConcept C199360897 @default.
- W2171586821 hasConcept C200601418 @default.
- W2171586821 hasConcept C201677973 @default.
- W2171586821 hasConcept C41008148 @default.
- W2171586821 hasConcept C43214815 @default.
- W2171586821 hasConcept C49937458 @default.
- W2171586821 hasConcept C62520636 @default.
- W2171586821 hasConcept C77019957 @default.
- W2171586821 hasConcept C80444323 @default.
- W2171586821 hasConceptScore W2171586821C115903868 @default.
- W2171586821 hasConceptScore W2171586821C120665830 @default.
- W2171586821 hasConceptScore W2171586821C121332964 @default.
- W2171586821 hasConceptScore W2171586821C127413603 @default.
- W2171586821 hasConceptScore W2171586821C154945302 @default.
- W2171586821 hasConceptScore W2171586821C163258240 @default.
- W2171586821 hasConceptScore W2171586821C192209626 @default.
- W2171586821 hasConceptScore W2171586821C199360897 @default.
- W2171586821 hasConceptScore W2171586821C200601418 @default.
- W2171586821 hasConceptScore W2171586821C201677973 @default.
- W2171586821 hasConceptScore W2171586821C41008148 @default.
- W2171586821 hasConceptScore W2171586821C43214815 @default.
- W2171586821 hasConceptScore W2171586821C49937458 @default.
- W2171586821 hasConceptScore W2171586821C62520636 @default.
- W2171586821 hasConceptScore W2171586821C77019957 @default.
- W2171586821 hasConceptScore W2171586821C80444323 @default.
- W2171586821 hasLocation W21715868211 @default.
- W2171586821 hasOpenAccess W2171586821 @default.
- W2171586821 hasPrimaryLocation W21715868211 @default.
- W2171586821 hasRelatedWork W1479679270 @default.
- W2171586821 hasRelatedWork W1481279574 @default.
- W2171586821 hasRelatedWork W1484753115 @default.
- W2171586821 hasRelatedWork W1497421547 @default.
- W2171586821 hasRelatedWork W1552758901 @default.
- W2171586821 hasRelatedWork W1564069854 @default.
- W2171586821 hasRelatedWork W1639103922 @default.
- W2171586821 hasRelatedWork W1639327804 @default.
- W2171586821 hasRelatedWork W1837761355 @default.
- W2171586821 hasRelatedWork W1878576160 @default.
- W2171586821 hasRelatedWork W1970605623 @default.
- W2171586821 hasRelatedWork W1978705670 @default.
- W2171586821 hasRelatedWork W1983233060 @default.
- W2171586821 hasRelatedWork W2010298731 @default.
- W2171586821 hasRelatedWork W2031342360 @default.
- W2171586821 hasRelatedWork W2035537281 @default.
- W2171586821 hasRelatedWork W2051127798 @default.
- W2171586821 hasRelatedWork W2084614212 @default.
- W2171586821 hasRelatedWork W2244063364 @default.
- W2171586821 hasRelatedWork W2100444083 @default.
- W2171586821 isParatext "false" @default.
- W2171586821 isRetracted "false" @default.
- W2171586821 magId "2171586821" @default.
- W2171586821 workType "article" @default.