Matches in SemOpenAlex for { <https://semopenalex.org/work/W1855492256> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1855492256 endingPage "208" @default.
- W1855492256 startingPage "199" @default.
- W1855492256 abstract "We describe a method for the automatic assembly of aviation safety cases by combining auto-generated argument fragments derived from the application of a formal method to software, with manually created argument fragments derived from system safety analysis. Our approach emphasizes the heterogeneity of safety-relevant information and we show how such diverse content can be integrated into a single safety case. We illustrate our approach by applying it to an experimental Unmanned Aircraft System (UAS)." @default.
- W1855492256 created "2016-06-24" @default.
- W1855492256 creator A5014708948 @default.
- W1855492256 creator A5080728870 @default.
- W1855492256 creator A5090686027 @default.
- W1855492256 date "2012-07-18" @default.
- W1855492256 modified "2023-09-23" @default.
- W1855492256 title "Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal" @default.
- W1855492256 cites W1543414505 @default.
- W1855492256 cites W1572810132 @default.
- W1855492256 cites W1579747287 @default.
- W1855492256 cites W2042861890 @default.
- W1855492256 cites W2051119545 @default.
- W1855492256 cites W2066810711 @default.
- W1855492256 cites W2082483218 @default.
- W1855492256 cites W2099542305 @default.
- W1855492256 cites W2122946642 @default.
- W1855492256 cites W2127467857 @default.
- W1855492256 cites W2135776763 @default.
- W1855492256 cites W2142766225 @default.
- W1855492256 cites W2144280492 @default.
- W1855492256 cites W2144814285 @default.
- W1855492256 cites W2150543751 @default.
- W1855492256 cites W2163359684 @default.
- W1855492256 cites W2320822003 @default.
- W1855492256 cites W2497377516 @default.
- W1855492256 cites W29888434 @default.
- W1855492256 doi "https://doi.org/10.1109/iceccs.2012.20" @default.
- W1855492256 hasPublicationYear "2012" @default.
- W1855492256 type Work @default.
- W1855492256 sameAs 1855492256 @default.
- W1855492256 citedByCount "7" @default.
- W1855492256 countsByYear W18554922562013 @default.
- W1855492256 countsByYear W18554922562014 @default.
- W1855492256 countsByYear W18554922562015 @default.
- W1855492256 countsByYear W18554922562016 @default.
- W1855492256 crossrefType "proceedings-article" @default.
- W1855492256 hasAuthorship W1855492256A5014708948 @default.
- W1855492256 hasAuthorship W1855492256A5080728870 @default.
- W1855492256 hasAuthorship W1855492256A5090686027 @default.
- W1855492256 hasConcept C111498074 @default.
- W1855492256 hasConcept C115903868 @default.
- W1855492256 hasConcept C127413603 @default.
- W1855492256 hasConcept C146978453 @default.
- W1855492256 hasConcept C185592680 @default.
- W1855492256 hasConcept C199360897 @default.
- W1855492256 hasConcept C200601418 @default.
- W1855492256 hasConcept C201995342 @default.
- W1855492256 hasConcept C2777904410 @default.
- W1855492256 hasConcept C2780234205 @default.
- W1855492256 hasConcept C41008148 @default.
- W1855492256 hasConcept C538199239 @default.
- W1855492256 hasConcept C55493867 @default.
- W1855492256 hasConcept C74448152 @default.
- W1855492256 hasConcept C75606506 @default.
- W1855492256 hasConcept C98184364 @default.
- W1855492256 hasConceptScore W1855492256C111498074 @default.
- W1855492256 hasConceptScore W1855492256C115903868 @default.
- W1855492256 hasConceptScore W1855492256C127413603 @default.
- W1855492256 hasConceptScore W1855492256C146978453 @default.
- W1855492256 hasConceptScore W1855492256C185592680 @default.
- W1855492256 hasConceptScore W1855492256C199360897 @default.
- W1855492256 hasConceptScore W1855492256C200601418 @default.
- W1855492256 hasConceptScore W1855492256C201995342 @default.
- W1855492256 hasConceptScore W1855492256C2777904410 @default.
- W1855492256 hasConceptScore W1855492256C2780234205 @default.
- W1855492256 hasConceptScore W1855492256C41008148 @default.
- W1855492256 hasConceptScore W1855492256C538199239 @default.
- W1855492256 hasConceptScore W1855492256C55493867 @default.
- W1855492256 hasConceptScore W1855492256C74448152 @default.
- W1855492256 hasConceptScore W1855492256C75606506 @default.
- W1855492256 hasConceptScore W1855492256C98184364 @default.
- W1855492256 hasLocation W18554922561 @default.
- W1855492256 hasOpenAccess W1855492256 @default.
- W1855492256 hasPrimaryLocation W18554922561 @default.
- W1855492256 hasRelatedWork W1498923079 @default.
- W1855492256 hasRelatedWork W1538014561 @default.
- W1855492256 hasRelatedWork W1577192775 @default.
- W1855492256 hasRelatedWork W177970991 @default.
- W1855492256 hasRelatedWork W1880957727 @default.
- W1855492256 hasRelatedWork W2066810711 @default.
- W1855492256 hasRelatedWork W2091999700 @default.
- W1855492256 hasRelatedWork W2132527380 @default.
- W1855492256 hasRelatedWork W2144814285 @default.
- W1855492256 hasRelatedWork W2150543751 @default.
- W1855492256 hasRelatedWork W2170178247 @default.
- W1855492256 hasRelatedWork W2497377516 @default.
- W1855492256 isParatext "false" @default.
- W1855492256 isRetracted "false" @default.
- W1855492256 magId "1855492256" @default.
- W1855492256 workType "article" @default.