Matches in SemOpenAlex for { <https://semopenalex.org/work/W584732050> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W584732050 abstract "A NASA/FAA program has been established for the verification and validation of digital flight control systems (DFCS), with the primary objective being the development and analysis of automated verification tools. In order to enhance the capabilities, effectiveness, and ease of using the test environment, software verification tools can be applied. Tool design includes a static analyzer, an assertion generator, a symbolic executor, a dynamic analysis instrument, and an automated documentation generator. Static and dynamic tools are integrated with error detection capabilities, resulting in a facility which analyzes a representative testbed of DFCS software. Future investigations will ensue particularly in the areas of increase in the number of software test tools, and a cost effectiveness assessment." @default.
- W584732050 created "2016-06-24" @default.
- W584732050 creator A5001473335 @default.
- W584732050 creator A5064160963 @default.
- W584732050 date "1982-01-01" @default.
- W584732050 modified "2023-09-27" @default.
- W584732050 title "A digital flight control system verification laboratory" @default.
- W584732050 hasPublicationYear "1982" @default.
- W584732050 type Work @default.
- W584732050 sameAs 584732050 @default.
- W584732050 citedByCount "0" @default.
- W584732050 crossrefType "proceedings-article" @default.
- W584732050 hasAuthorship W584732050A5001473335 @default.
- W584732050 hasAuthorship W584732050A5064160963 @default.
- W584732050 hasConcept C111919701 @default.
- W584732050 hasConcept C115903868 @default.
- W584732050 hasConcept C127413603 @default.
- W584732050 hasConcept C149091818 @default.
- W584732050 hasConcept C149635348 @default.
- W584732050 hasConcept C186846655 @default.
- W584732050 hasConcept C201995342 @default.
- W584732050 hasConcept C21547014 @default.
- W584732050 hasConcept C2777904410 @default.
- W584732050 hasConcept C31258907 @default.
- W584732050 hasConcept C31395832 @default.
- W584732050 hasConcept C33054407 @default.
- W584732050 hasConcept C41008148 @default.
- W584732050 hasConcept C48002344 @default.
- W584732050 hasConceptScore W584732050C111919701 @default.
- W584732050 hasConceptScore W584732050C115903868 @default.
- W584732050 hasConceptScore W584732050C127413603 @default.
- W584732050 hasConceptScore W584732050C149091818 @default.
- W584732050 hasConceptScore W584732050C149635348 @default.
- W584732050 hasConceptScore W584732050C186846655 @default.
- W584732050 hasConceptScore W584732050C201995342 @default.
- W584732050 hasConceptScore W584732050C21547014 @default.
- W584732050 hasConceptScore W584732050C2777904410 @default.
- W584732050 hasConceptScore W584732050C31258907 @default.
- W584732050 hasConceptScore W584732050C31395832 @default.
- W584732050 hasConceptScore W584732050C33054407 @default.
- W584732050 hasConceptScore W584732050C41008148 @default.
- W584732050 hasConceptScore W584732050C48002344 @default.
- W584732050 hasLocation W5847320501 @default.
- W584732050 hasOpenAccess W584732050 @default.
- W584732050 hasPrimaryLocation W5847320501 @default.
- W584732050 hasRelatedWork W1488794670 @default.
- W584732050 hasRelatedWork W1551605473 @default.
- W584732050 hasRelatedWork W1572395242 @default.
- W584732050 hasRelatedWork W1990730858 @default.
- W584732050 hasRelatedWork W1990786719 @default.
- W584732050 hasRelatedWork W2076903907 @default.
- W584732050 hasRelatedWork W2161104805 @default.
- W584732050 hasRelatedWork W2169884865 @default.
- W584732050 hasRelatedWork W2260465663 @default.
- W584732050 hasRelatedWork W2325882519 @default.
- W584732050 hasRelatedWork W2326485893 @default.
- W584732050 hasRelatedWork W2542923732 @default.
- W584732050 hasRelatedWork W2569227254 @default.
- W584732050 hasRelatedWork W260913551 @default.
- W584732050 hasRelatedWork W2765809413 @default.
- W584732050 hasRelatedWork W27824331 @default.
- W584732050 hasRelatedWork W3096511237 @default.
- W584732050 hasRelatedWork W805661178 @default.
- W584732050 hasRelatedWork W2126027393 @default.
- W584732050 hasRelatedWork W253664248 @default.
- W584732050 isParatext "false" @default.
- W584732050 isRetracted "false" @default.
- W584732050 magId "584732050" @default.
- W584732050 workType "article" @default.