Matches in SemOpenAlex for { <https://semopenalex.org/work/W749098878> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W749098878 abstract "Validation of ultra-reliable systems decomposes into two subproblems: (1) quantification of probability of system failure due to physical failure; (2) establishing that Design Errors are not present. Methods of design, testing, and analysis of ultra-reliable software are discussed. It is concluded that a design-for-validation based on formal methods is needed for the digital flight control systems problem, and also that formal methods will play a major role in the development of future high reliability digital systems." @default.
- W749098878 created "2016-06-24" @default.
- W749098878 creator A5064290767 @default.
- W749098878 date "1990-11-01" @default.
- W749098878 modified "2023-09-28" @default.
- W749098878 title "Design for validation, based on formal methods" @default.
- W749098878 hasPublicationYear "1990" @default.
- W749098878 type Work @default.
- W749098878 sameAs 749098878 @default.
- W749098878 citedByCount "0" @default.
- W749098878 crossrefType "proceedings-article" @default.
- W749098878 hasAuthorship W749098878A5064290767 @default.
- W749098878 hasConcept C111498074 @default.
- W749098878 hasConcept C115903868 @default.
- W749098878 hasConcept C116253237 @default.
- W749098878 hasConcept C117447612 @default.
- W749098878 hasConcept C121332964 @default.
- W749098878 hasConcept C127413603 @default.
- W749098878 hasConcept C163258240 @default.
- W749098878 hasConcept C199360897 @default.
- W749098878 hasConcept C200601418 @default.
- W749098878 hasConcept C201995342 @default.
- W749098878 hasConcept C21547014 @default.
- W749098878 hasConcept C2777904410 @default.
- W749098878 hasConcept C41008148 @default.
- W749098878 hasConcept C43214815 @default.
- W749098878 hasConcept C48002344 @default.
- W749098878 hasConcept C529173508 @default.
- W749098878 hasConcept C52928878 @default.
- W749098878 hasConcept C62520636 @default.
- W749098878 hasConcept C75606506 @default.
- W749098878 hasConceptScore W749098878C111498074 @default.
- W749098878 hasConceptScore W749098878C115903868 @default.
- W749098878 hasConceptScore W749098878C116253237 @default.
- W749098878 hasConceptScore W749098878C117447612 @default.
- W749098878 hasConceptScore W749098878C121332964 @default.
- W749098878 hasConceptScore W749098878C127413603 @default.
- W749098878 hasConceptScore W749098878C163258240 @default.
- W749098878 hasConceptScore W749098878C199360897 @default.
- W749098878 hasConceptScore W749098878C200601418 @default.
- W749098878 hasConceptScore W749098878C201995342 @default.
- W749098878 hasConceptScore W749098878C21547014 @default.
- W749098878 hasConceptScore W749098878C2777904410 @default.
- W749098878 hasConceptScore W749098878C41008148 @default.
- W749098878 hasConceptScore W749098878C43214815 @default.
- W749098878 hasConceptScore W749098878C48002344 @default.
- W749098878 hasConceptScore W749098878C529173508 @default.
- W749098878 hasConceptScore W749098878C52928878 @default.
- W749098878 hasConceptScore W749098878C62520636 @default.
- W749098878 hasConceptScore W749098878C75606506 @default.
- W749098878 hasLocation W7490988781 @default.
- W749098878 hasOpenAccess W749098878 @default.
- W749098878 hasPrimaryLocation W7490988781 @default.
- W749098878 hasRelatedWork W1533005000 @default.
- W749098878 hasRelatedWork W1576549492 @default.
- W749098878 hasRelatedWork W1596090747 @default.
- W749098878 hasRelatedWork W1617609340 @default.
- W749098878 hasRelatedWork W1970426550 @default.
- W749098878 hasRelatedWork W2010466090 @default.
- W749098878 hasRelatedWork W2029958405 @default.
- W749098878 hasRelatedWork W2031147700 @default.
- W749098878 hasRelatedWork W2051038424 @default.
- W749098878 hasRelatedWork W2101211404 @default.
- W749098878 hasRelatedWork W2111920187 @default.
- W749098878 hasRelatedWork W2119163339 @default.
- W749098878 hasRelatedWork W2135438090 @default.
- W749098878 hasRelatedWork W2152140907 @default.
- W749098878 hasRelatedWork W2321371380 @default.
- W749098878 hasRelatedWork W2723963208 @default.
- W749098878 hasRelatedWork W2754456926 @default.
- W749098878 hasRelatedWork W2792632341 @default.
- W749098878 hasRelatedWork W753905710 @default.
- W749098878 hasRelatedWork W817370586 @default.
- W749098878 isParatext "false" @default.
- W749098878 isRetracted "false" @default.
- W749098878 magId "749098878" @default.
- W749098878 workType "article" @default.