Matches in SemOpenAlex for { <https://semopenalex.org/work/W800592803> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W800592803 abstract "A framework is proposed which addresses traditional reliability validation approaches consisting of life testing techniques which are inapplicable for digital flight control systems. A specific validation methodology is identified based on logical proofs, analytical modeling, and experimental testing. Research activities required to support continued development of validation technology are identified, and the validation procedure is driven by the reliability model obtained from the system description. The analytical reliability model is shown to be a proper abstraction of the system under consideration, and a proof of correctness of system design and system scheduler performance is proposed." @default.
- W800592803 created "2016-06-24" @default.
- W800592803 creator A5025056583 @default.
- W800592803 creator A5036851432 @default.
- W800592803 creator A5053037850 @default.
- W800592803 date "1980-01-01" @default.
- W800592803 modified "2023-09-27" @default.
- W800592803 title "Reliability validation of systems for life-critical applications" @default.
- W800592803 hasPublicationYear "1980" @default.
- W800592803 type Work @default.
- W800592803 sameAs 800592803 @default.
- W800592803 citedByCount "1" @default.
- W800592803 crossrefType "journal-article" @default.
- W800592803 hasAuthorship W800592803A5025056583 @default.
- W800592803 hasAuthorship W800592803A5036851432 @default.
- W800592803 hasAuthorship W800592803A5053037850 @default.
- W800592803 hasConcept C108710211 @default.
- W800592803 hasConcept C11413529 @default.
- W800592803 hasConcept C121332964 @default.
- W800592803 hasConcept C127413603 @default.
- W800592803 hasConcept C163258240 @default.
- W800592803 hasConcept C200601418 @default.
- W800592803 hasConcept C2524010 @default.
- W800592803 hasConcept C33923547 @default.
- W800592803 hasConcept C41008148 @default.
- W800592803 hasConcept C43214815 @default.
- W800592803 hasConcept C55439883 @default.
- W800592803 hasConcept C62520636 @default.
- W800592803 hasConceptScore W800592803C108710211 @default.
- W800592803 hasConceptScore W800592803C11413529 @default.
- W800592803 hasConceptScore W800592803C121332964 @default.
- W800592803 hasConceptScore W800592803C127413603 @default.
- W800592803 hasConceptScore W800592803C163258240 @default.
- W800592803 hasConceptScore W800592803C200601418 @default.
- W800592803 hasConceptScore W800592803C2524010 @default.
- W800592803 hasConceptScore W800592803C33923547 @default.
- W800592803 hasConceptScore W800592803C41008148 @default.
- W800592803 hasConceptScore W800592803C43214815 @default.
- W800592803 hasConceptScore W800592803C55439883 @default.
- W800592803 hasConceptScore W800592803C62520636 @default.
- W800592803 hasLocation W8005928031 @default.
- W800592803 hasOpenAccess W800592803 @default.
- W800592803 hasPrimaryLocation W8005928031 @default.
- W800592803 hasRelatedWork W1971019032 @default.
- W800592803 hasRelatedWork W1975408560 @default.
- W800592803 hasRelatedWork W1990431111 @default.
- W800592803 hasRelatedWork W2015347687 @default.
- W800592803 hasRelatedWork W2016387839 @default.
- W800592803 hasRelatedWork W2071922846 @default.
- W800592803 hasRelatedWork W2167220269 @default.
- W800592803 hasRelatedWork W2171994807 @default.
- W800592803 hasRelatedWork W2314802989 @default.
- W800592803 hasRelatedWork W2354729614 @default.
- W800592803 hasRelatedWork W2356950167 @default.
- W800592803 hasRelatedWork W2368622671 @default.
- W800592803 hasRelatedWork W2383238021 @default.
- W800592803 hasRelatedWork W2400182526 @default.
- W800592803 hasRelatedWork W2512801408 @default.
- W800592803 hasRelatedWork W262143401 @default.
- W800592803 hasRelatedWork W2634551090 @default.
- W800592803 hasRelatedWork W2790002431 @default.
- W800592803 hasRelatedWork W571065502 @default.
- W800592803 hasRelatedWork W2164753707 @default.
- W800592803 isParatext "false" @default.
- W800592803 isRetracted "false" @default.
- W800592803 magId "800592803" @default.
- W800592803 workType "article" @default.