Matches in SemOpenAlex for { <https://semopenalex.org/work/W2397503885> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2397503885 abstract "Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software bugs) are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way. Umfang: XVII, 264 S. Preis: €40.00 | £37.00 | $70.00" @default.
- W2397503885 created "2016-06-24" @default.
- W2397503885 creator A5019488707 @default.
- W2397503885 date "2012-04-12" @default.
- W2397503885 modified "2023-09-27" @default.
- W2397503885 title "Verification-Based Software-Fault Detection" @default.
- W2397503885 hasPublicationYear "2012" @default.
- W2397503885 type Work @default.
- W2397503885 sameAs 2397503885 @default.
- W2397503885 citedByCount "0" @default.
- W2397503885 crossrefType "book" @default.
- W2397503885 hasAuthorship W2397503885A5019488707 @default.
- W2397503885 hasConcept C115903868 @default.
- W2397503885 hasConcept C127413603 @default.
- W2397503885 hasConcept C152745839 @default.
- W2397503885 hasConcept C154945302 @default.
- W2397503885 hasConcept C172707124 @default.
- W2397503885 hasConcept C186846655 @default.
- W2397503885 hasConcept C199360897 @default.
- W2397503885 hasConcept C200601418 @default.
- W2397503885 hasConcept C21547014 @default.
- W2397503885 hasConcept C2775928411 @default.
- W2397503885 hasConcept C2777904410 @default.
- W2397503885 hasConcept C33054407 @default.
- W2397503885 hasConcept C41008148 @default.
- W2397503885 hasConcept C48002344 @default.
- W2397503885 hasConcept C529173508 @default.
- W2397503885 hasConceptScore W2397503885C115903868 @default.
- W2397503885 hasConceptScore W2397503885C127413603 @default.
- W2397503885 hasConceptScore W2397503885C152745839 @default.
- W2397503885 hasConceptScore W2397503885C154945302 @default.
- W2397503885 hasConceptScore W2397503885C172707124 @default.
- W2397503885 hasConceptScore W2397503885C186846655 @default.
- W2397503885 hasConceptScore W2397503885C199360897 @default.
- W2397503885 hasConceptScore W2397503885C200601418 @default.
- W2397503885 hasConceptScore W2397503885C21547014 @default.
- W2397503885 hasConceptScore W2397503885C2775928411 @default.
- W2397503885 hasConceptScore W2397503885C2777904410 @default.
- W2397503885 hasConceptScore W2397503885C33054407 @default.
- W2397503885 hasConceptScore W2397503885C41008148 @default.
- W2397503885 hasConceptScore W2397503885C48002344 @default.
- W2397503885 hasConceptScore W2397503885C529173508 @default.
- W2397503885 hasLocation W23975038851 @default.
- W2397503885 hasOpenAccess W2397503885 @default.
- W2397503885 hasPrimaryLocation W23975038851 @default.
- W2397503885 hasRelatedWork W1490302755 @default.
- W2397503885 hasRelatedWork W1512115515 @default.
- W2397503885 hasRelatedWork W1545591760 @default.
- W2397503885 hasRelatedWork W1966629014 @default.
- W2397503885 hasRelatedWork W2026584294 @default.
- W2397503885 hasRelatedWork W2026895495 @default.
- W2397503885 hasRelatedWork W2047564410 @default.
- W2397503885 hasRelatedWork W2053808314 @default.
- W2397503885 hasRelatedWork W2084909409 @default.
- W2397503885 hasRelatedWork W2114800129 @default.
- W2397503885 hasRelatedWork W2120525820 @default.
- W2397503885 hasRelatedWork W2122275570 @default.
- W2397503885 hasRelatedWork W2122627858 @default.
- W2397503885 hasRelatedWork W2133350402 @default.
- W2397503885 hasRelatedWork W2136208798 @default.
- W2397503885 hasRelatedWork W2137585379 @default.
- W2397503885 hasRelatedWork W2143070593 @default.
- W2397503885 hasRelatedWork W2211705681 @default.
- W2397503885 hasRelatedWork W2383292658 @default.
- W2397503885 hasRelatedWork W2542209384 @default.
- W2397503885 isParatext "false" @default.
- W2397503885 isRetracted "false" @default.
- W2397503885 magId "2397503885" @default.
- W2397503885 workType "book" @default.