Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133509369> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2133509369 abstract "The paper describes a framework for designing safety-critical software systems, in the context of a software safety analysis process that is based on fault tree analysis. This software design process has four steps: 1) software design fault tree generation, 2) fault tree verification, 3) safe software design, and 4) design safety verification. Approaches to safe software design, and verification of the safe design against the safety requirements have also been presented." @default.
- W2133509369 created "2016-06-24" @default.
- W2133509369 creator A5008555005 @default.
- W2133509369 creator A5055376851 @default.
- W2133509369 creator A5057449231 @default.
- W2133509369 creator A5063411746 @default.
- W2133509369 creator A5075754390 @default.
- W2133509369 date "2002-11-19" @default.
- W2133509369 modified "2023-09-25" @default.
- W2133509369 title "A framework for designing safe software systems" @default.
- W2133509369 cites W1910771831 @default.
- W2133509369 cites W2016310411 @default.
- W2133509369 cites W2024532029 @default.
- W2133509369 cites W2028232858 @default.
- W2133509369 cites W2075806344 @default.
- W2133509369 cites W2096039823 @default.
- W2133509369 cites W2164932040 @default.
- W2133509369 cites W3165744266 @default.
- W2133509369 doi "https://doi.org/10.1109/cmpsac.1995.524808" @default.
- W2133509369 hasPublicationYear "2002" @default.
- W2133509369 type Work @default.
- W2133509369 sameAs 2133509369 @default.
- W2133509369 citedByCount "8" @default.
- W2133509369 crossrefType "proceedings-article" @default.
- W2133509369 hasAuthorship W2133509369A5008555005 @default.
- W2133509369 hasAuthorship W2133509369A5055376851 @default.
- W2133509369 hasAuthorship W2133509369A5057449231 @default.
- W2133509369 hasAuthorship W2133509369A5063411746 @default.
- W2133509369 hasAuthorship W2133509369A5075754390 @default.
- W2133509369 hasConcept C107094494 @default.
- W2133509369 hasConcept C109905503 @default.
- W2133509369 hasConcept C115903868 @default.
- W2133509369 hasConcept C127413603 @default.
- W2133509369 hasConcept C149091818 @default.
- W2133509369 hasConcept C163707989 @default.
- W2133509369 hasConcept C186846655 @default.
- W2133509369 hasConcept C199360897 @default.
- W2133509369 hasConcept C200601418 @default.
- W2133509369 hasConcept C21547014 @default.
- W2133509369 hasConcept C2777904410 @default.
- W2133509369 hasConcept C33054407 @default.
- W2133509369 hasConcept C41008148 @default.
- W2133509369 hasConcept C48002344 @default.
- W2133509369 hasConcept C50712370 @default.
- W2133509369 hasConcept C52913732 @default.
- W2133509369 hasConcept C529173508 @default.
- W2133509369 hasConceptScore W2133509369C107094494 @default.
- W2133509369 hasConceptScore W2133509369C109905503 @default.
- W2133509369 hasConceptScore W2133509369C115903868 @default.
- W2133509369 hasConceptScore W2133509369C127413603 @default.
- W2133509369 hasConceptScore W2133509369C149091818 @default.
- W2133509369 hasConceptScore W2133509369C163707989 @default.
- W2133509369 hasConceptScore W2133509369C186846655 @default.
- W2133509369 hasConceptScore W2133509369C199360897 @default.
- W2133509369 hasConceptScore W2133509369C200601418 @default.
- W2133509369 hasConceptScore W2133509369C21547014 @default.
- W2133509369 hasConceptScore W2133509369C2777904410 @default.
- W2133509369 hasConceptScore W2133509369C33054407 @default.
- W2133509369 hasConceptScore W2133509369C41008148 @default.
- W2133509369 hasConceptScore W2133509369C48002344 @default.
- W2133509369 hasConceptScore W2133509369C50712370 @default.
- W2133509369 hasConceptScore W2133509369C52913732 @default.
- W2133509369 hasConceptScore W2133509369C529173508 @default.
- W2133509369 hasLocation W21335093691 @default.
- W2133509369 hasOpenAccess W2133509369 @default.
- W2133509369 hasPrimaryLocation W21335093691 @default.
- W2133509369 hasRelatedWork W1487950196 @default.
- W2133509369 hasRelatedWork W1559348945 @default.
- W2133509369 hasRelatedWork W159782744 @default.
- W2133509369 hasRelatedWork W1866979584 @default.
- W2133509369 hasRelatedWork W1992352638 @default.
- W2133509369 hasRelatedWork W2097478449 @default.
- W2133509369 hasRelatedWork W2099666990 @default.
- W2133509369 hasRelatedWork W2102829529 @default.
- W2133509369 hasRelatedWork W2107098145 @default.
- W2133509369 hasRelatedWork W2107414907 @default.
- W2133509369 hasRelatedWork W2107616994 @default.
- W2133509369 hasRelatedWork W2132600666 @default.
- W2133509369 hasRelatedWork W2133647383 @default.
- W2133509369 hasRelatedWork W2149958789 @default.
- W2133509369 hasRelatedWork W2150375370 @default.
- W2133509369 hasRelatedWork W2166530362 @default.
- W2133509369 hasRelatedWork W2252608406 @default.
- W2133509369 hasRelatedWork W2288864324 @default.
- W2133509369 hasRelatedWork W2383192276 @default.
- W2133509369 hasRelatedWork W2147077228 @default.
- W2133509369 isParatext "false" @default.
- W2133509369 isRetracted "false" @default.
- W2133509369 magId "2133509369" @default.
- W2133509369 workType "article" @default.