Matches in SemOpenAlex for { <https://semopenalex.org/work/W193895716> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W193895716 endingPage "392" @default.
- W193895716 startingPage "385" @default.
- W193895716 abstract "Everybody knows about failure problems in software: it is an admitted fact that most large software do contain bugs. The cost of such bugs can be very high for our society and many methods have been proposed to try to reduce these failures. While merely reducing the number of bugs may be economically sound in many areas, in critical software (such as found in power plants or aeronautics), no failure can be accepted." @default.
- W193895716 created "2016-06-24" @default.
- W193895716 creator A5090849099 @default.
- W193895716 date "2008-04-07" @default.
- W193895716 modified "2023-09-24" @default.
- W193895716 title "AstrÉe: Verification of Absence of Runtime Error" @default.
- W193895716 cites W1608230613 @default.
- W193895716 cites W2014764321 @default.
- W193895716 cites W2043100293 @default.
- W193895716 cites W2114614628 @default.
- W193895716 cites W2132661148 @default.
- W193895716 cites W2142481893 @default.
- W193895716 cites W3100198463 @default.
- W193895716 doi "https://doi.org/10.1007/978-1-4020-8157-6_30" @default.
- W193895716 hasPublicationYear "2008" @default.
- W193895716 type Work @default.
- W193895716 sameAs 193895716 @default.
- W193895716 citedByCount "17" @default.
- W193895716 countsByYear W1938957162014 @default.
- W193895716 countsByYear W1938957162015 @default.
- W193895716 countsByYear W1938957162019 @default.
- W193895716 countsByYear W1938957162020 @default.
- W193895716 countsByYear W1938957162022 @default.
- W193895716 crossrefType "book-chapter" @default.
- W193895716 hasAuthorship W193895716A5090849099 @default.
- W193895716 hasBestOaLocation W1938957161 @default.
- W193895716 hasConcept C1009929 @default.
- W193895716 hasConcept C127413603 @default.
- W193895716 hasConcept C199360897 @default.
- W193895716 hasConcept C200601418 @default.
- W193895716 hasConcept C2777904410 @default.
- W193895716 hasConcept C41008148 @default.
- W193895716 hasConceptScore W193895716C1009929 @default.
- W193895716 hasConceptScore W193895716C127413603 @default.
- W193895716 hasConceptScore W193895716C199360897 @default.
- W193895716 hasConceptScore W193895716C200601418 @default.
- W193895716 hasConceptScore W193895716C2777904410 @default.
- W193895716 hasConceptScore W193895716C41008148 @default.
- W193895716 hasLocation W1938957161 @default.
- W193895716 hasLocation W1938957162 @default.
- W193895716 hasOpenAccess W193895716 @default.
- W193895716 hasPrimaryLocation W1938957161 @default.
- W193895716 hasRelatedWork W201088255 @default.
- W193895716 hasRelatedWork W2052758361 @default.
- W193895716 hasRelatedWork W2347547156 @default.
- W193895716 hasRelatedWork W2356158875 @default.
- W193895716 hasRelatedWork W2360518820 @default.
- W193895716 hasRelatedWork W2367699234 @default.
- W193895716 hasRelatedWork W2787986668 @default.
- W193895716 hasRelatedWork W3021250941 @default.
- W193895716 hasRelatedWork W3045780014 @default.
- W193895716 hasRelatedWork W4254366481 @default.
- W193895716 isParatext "false" @default.
- W193895716 isRetracted "false" @default.
- W193895716 magId "193895716" @default.
- W193895716 workType "book-chapter" @default.