Matches in SemOpenAlex for { <https://semopenalex.org/work/W1587500567> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1587500567 endingPage "342" @default.
- W1587500567 startingPage "320" @default.
- W1587500567 abstract "The paper presents an approach to reasoning about probabilistic systems that are to be implemented in a parallel or distributed manner. The approach allows us to obtain a quantitative assessment of the reliability of a system under construction. We base our reasoning on the application of refinement and in particularly data refinement techniques to the specification of systems containing a level of overall system reliability. Performing refinement of such a probabilistic specification we not only ensure the correctness of the system design but also establish a quantitative link between the overall system reliability and reliabilities of components from which the system is to be implemented. We illustrate the approach by designing a system that models data transmission over an unreliable medium." @default.
- W1587500567 created "2016-06-24" @default.
- W1587500567 creator A5070192715 @default.
- W1587500567 date "1999-09-01" @default.
- W1587500567 modified "2023-09-23" @default.
- W1587500567 title "Reliability assessment through probabilistic refinement" @default.
- W1587500567 cites W13764498 @default.
- W1587500567 cites W1492315860 @default.
- W1587500567 cites W1511826042 @default.
- W1587500567 cites W1523509419 @default.
- W1587500567 cites W1541118615 @default.
- W1587500567 cites W1559789013 @default.
- W1587500567 cites W1560393601 @default.
- W1587500567 cites W1570153265 @default.
- W1587500567 cites W1857327297 @default.
- W1587500567 cites W1888060836 @default.
- W1587500567 cites W1976268573 @default.
- W1587500567 cites W2024464191 @default.
- W1587500567 cites W2043279475 @default.
- W1587500567 cites W2072033902 @default.
- W1587500567 cites W2073708948 @default.
- W1587500567 cites W2115179079 @default.
- W1587500567 cites W2135795876 @default.
- W1587500567 cites W2141670510 @default.
- W1587500567 cites W2152198540 @default.
- W1587500567 cites W299946212 @default.
- W1587500567 doi "https://doi.org/10.5555/774455.774461" @default.
- W1587500567 hasPublicationYear "1999" @default.
- W1587500567 type Work @default.
- W1587500567 sameAs 1587500567 @default.
- W1587500567 citedByCount "7" @default.
- W1587500567 countsByYear W15875005672012 @default.
- W1587500567 countsByYear W15875005672013 @default.
- W1587500567 countsByYear W15875005672014 @default.
- W1587500567 countsByYear W15875005672019 @default.
- W1587500567 crossrefType "journal-article" @default.
- W1587500567 hasAuthorship W1587500567A5070192715 @default.
- W1587500567 hasConcept C11413529 @default.
- W1587500567 hasConcept C120314980 @default.
- W1587500567 hasConcept C121332964 @default.
- W1587500567 hasConcept C124101348 @default.
- W1587500567 hasConcept C127413603 @default.
- W1587500567 hasConcept C154945302 @default.
- W1587500567 hasConcept C163258240 @default.
- W1587500567 hasConcept C200601418 @default.
- W1587500567 hasConcept C41008148 @default.
- W1587500567 hasConcept C43214815 @default.
- W1587500567 hasConcept C49937458 @default.
- W1587500567 hasConcept C55439883 @default.
- W1587500567 hasConcept C62520636 @default.
- W1587500567 hasConceptScore W1587500567C11413529 @default.
- W1587500567 hasConceptScore W1587500567C120314980 @default.
- W1587500567 hasConceptScore W1587500567C121332964 @default.
- W1587500567 hasConceptScore W1587500567C124101348 @default.
- W1587500567 hasConceptScore W1587500567C127413603 @default.
- W1587500567 hasConceptScore W1587500567C154945302 @default.
- W1587500567 hasConceptScore W1587500567C163258240 @default.
- W1587500567 hasConceptScore W1587500567C200601418 @default.
- W1587500567 hasConceptScore W1587500567C41008148 @default.
- W1587500567 hasConceptScore W1587500567C43214815 @default.
- W1587500567 hasConceptScore W1587500567C49937458 @default.
- W1587500567 hasConceptScore W1587500567C55439883 @default.
- W1587500567 hasConceptScore W1587500567C62520636 @default.
- W1587500567 hasIssue "3" @default.
- W1587500567 hasLocation W15875005671 @default.
- W1587500567 hasOpenAccess W1587500567 @default.
- W1587500567 hasPrimaryLocation W15875005671 @default.
- W1587500567 hasRelatedWork W1511826042 @default.
- W1587500567 hasRelatedWork W1541118615 @default.
- W1587500567 hasRelatedWork W1625645538 @default.
- W1587500567 hasRelatedWork W1977603990 @default.
- W1587500567 hasRelatedWork W1992442893 @default.
- W1587500567 hasRelatedWork W2006843692 @default.
- W1587500567 hasRelatedWork W2064731838 @default.
- W1587500567 hasRelatedWork W2081161794 @default.
- W1587500567 hasRelatedWork W2098201688 @default.
- W1587500567 hasRelatedWork W2111519488 @default.
- W1587500567 hasRelatedWork W2145346981 @default.
- W1587500567 hasRelatedWork W2148918736 @default.
- W1587500567 hasRelatedWork W2170280792 @default.
- W1587500567 hasRelatedWork W2569927592 @default.
- W1587500567 hasRelatedWork W2754471795 @default.
- W1587500567 hasRelatedWork W2798340016 @default.
- W1587500567 hasRelatedWork W2965238002 @default.
- W1587500567 hasRelatedWork W3014864275 @default.
- W1587500567 hasRelatedWork W3048997308 @default.
- W1587500567 hasRelatedWork W3214188816 @default.
- W1587500567 hasVolume "6" @default.
- W1587500567 isParatext "false" @default.
- W1587500567 isRetracted "false" @default.
- W1587500567 magId "1587500567" @default.
- W1587500567 workType "article" @default.