Matches in SemOpenAlex for { <https://semopenalex.org/work/W2476295092> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2476295092 abstract "Complex systems must be analyzed in smaller pieces. Analysis must support both bottom-up (composition) and top-down (refinement) development, and it must support the consideration of several critical properties, e.g., functional correctness, fault tolerance and security, as appropriate. We describe a mathematical framework for performing composition and refinement analysis and discuss some lessons learned from its application. The framework is written and verified in PVS." @default.
- W2476295092 created "2016-08-23" @default.
- W2476295092 creator A5012825443 @default.
- W2476295092 creator A5038625612 @default.
- W2476295092 creator A5040508470 @default.
- W2476295092 creator A5045810271 @default.
- W2476295092 creator A5051094994 @default.
- W2476295092 date "2002-11-07" @default.
- W2476295092 modified "2023-09-26" @default.
- W2476295092 title "Using composition to design secure, fault-tolerant systems" @default.
- W2476295092 cites W146903224 @default.
- W2476295092 cites W2015688007 @default.
- W2476295092 cites W2069858199 @default.
- W2476295092 cites W2098820900 @default.
- W2476295092 cites W2134323418 @default.
- W2476295092 cites W2136898254 @default.
- W2476295092 cites W2146586971 @default.
- W2476295092 cites W2152465173 @default.
- W2476295092 cites W2296232480 @default.
- W2476295092 cites W3144368627 @default.
- W2476295092 cites W3177684381 @default.
- W2476295092 doi "https://doi.org/10.1109/discex.2000.821535" @default.
- W2476295092 hasPublicationYear "2002" @default.
- W2476295092 type Work @default.
- W2476295092 sameAs 2476295092 @default.
- W2476295092 citedByCount "1" @default.
- W2476295092 crossrefType "proceedings-article" @default.
- W2476295092 hasAuthorship W2476295092A5012825443 @default.
- W2476295092 hasAuthorship W2476295092A5038625612 @default.
- W2476295092 hasAuthorship W2476295092A5040508470 @default.
- W2476295092 hasAuthorship W2476295092A5045810271 @default.
- W2476295092 hasAuthorship W2476295092A5051094994 @default.
- W2476295092 hasConcept C115903868 @default.
- W2476295092 hasConcept C120314980 @default.
- W2476295092 hasConcept C138885662 @default.
- W2476295092 hasConcept C199360897 @default.
- W2476295092 hasConcept C40231798 @default.
- W2476295092 hasConcept C41008148 @default.
- W2476295092 hasConcept C41895202 @default.
- W2476295092 hasConcept C50712370 @default.
- W2476295092 hasConcept C55439883 @default.
- W2476295092 hasConcept C63540848 @default.
- W2476295092 hasConcept C80444323 @default.
- W2476295092 hasConceptScore W2476295092C115903868 @default.
- W2476295092 hasConceptScore W2476295092C120314980 @default.
- W2476295092 hasConceptScore W2476295092C138885662 @default.
- W2476295092 hasConceptScore W2476295092C199360897 @default.
- W2476295092 hasConceptScore W2476295092C40231798 @default.
- W2476295092 hasConceptScore W2476295092C41008148 @default.
- W2476295092 hasConceptScore W2476295092C41895202 @default.
- W2476295092 hasConceptScore W2476295092C50712370 @default.
- W2476295092 hasConceptScore W2476295092C55439883 @default.
- W2476295092 hasConceptScore W2476295092C63540848 @default.
- W2476295092 hasConceptScore W2476295092C80444323 @default.
- W2476295092 hasLocation W24762950921 @default.
- W2476295092 hasOpenAccess W2476295092 @default.
- W2476295092 hasPrimaryLocation W24762950921 @default.
- W2476295092 hasRelatedWork W1489967307 @default.
- W2476295092 hasRelatedWork W1494969296 @default.
- W2476295092 hasRelatedWork W1517613657 @default.
- W2476295092 hasRelatedWork W1544281820 @default.
- W2476295092 hasRelatedWork W1581224675 @default.
- W2476295092 hasRelatedWork W1720140439 @default.
- W2476295092 hasRelatedWork W1979512421 @default.
- W2476295092 hasRelatedWork W2087164092 @default.
- W2476295092 hasRelatedWork W2098868351 @default.
- W2476295092 hasRelatedWork W2129735612 @default.
- W2476295092 hasRelatedWork W2132266381 @default.
- W2476295092 hasRelatedWork W2150398857 @default.
- W2476295092 hasRelatedWork W2155392995 @default.
- W2476295092 hasRelatedWork W2167068762 @default.
- W2476295092 hasRelatedWork W2170890469 @default.
- W2476295092 hasRelatedWork W2366653648 @default.
- W2476295092 hasRelatedWork W2493750150 @default.
- W2476295092 hasRelatedWork W380307954 @default.
- W2476295092 hasRelatedWork W637950263 @default.
- W2476295092 hasRelatedWork W1700960979 @default.
- W2476295092 isParatext "false" @default.
- W2476295092 isRetracted "false" @default.
- W2476295092 magId "2476295092" @default.
- W2476295092 workType "article" @default.