Matches in SemOpenAlex for { <https://semopenalex.org/work/W615016617> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W615016617 endingPage "65" @default.
- W615016617 startingPage "50" @default.
- W615016617 abstract "Static program slicing is a technique to detect the program parts (i.e. the “slice”) of the given program possibly affecting a given property. The technique is of interest for analysing safety-critical software, since it can identify the program parts that may affect various safety properties. Verification efforts can then be directed towards those parts, leading to a more efficient verification process." @default.
- W615016617 created "2016-06-24" @default.
- W615016617 creator A5021848628 @default.
- W615016617 creator A5062612658 @default.
- W615016617 creator A5091315577 @default.
- W615016617 date "2015-01-01" @default.
- W615016617 modified "2023-09-23" @default.
- W615016617 title "Static Backward Program Slicing for Safety-Critical Systems" @default.
- W615016617 cites W1506151672 @default.
- W615016617 cites W1546381996 @default.
- W615016617 cites W1595405651 @default.
- W615016617 cites W1986347924 @default.
- W615016617 cites W2007121005 @default.
- W615016617 cites W2034103799 @default.
- W615016617 cites W2057992103 @default.
- W615016617 cites W2073971651 @default.
- W615016617 cites W2092483417 @default.
- W615016617 cites W2096055595 @default.
- W615016617 cites W2110066339 @default.
- W615016617 cites W2144344516 @default.
- W615016617 cites W2293624369 @default.
- W615016617 cites W3115731550 @default.
- W615016617 cites W4235915479 @default.
- W615016617 cites W4238906855 @default.
- W615016617 doi "https://doi.org/10.1007/978-3-319-19584-1_4" @default.
- W615016617 hasPublicationYear "2015" @default.
- W615016617 type Work @default.
- W615016617 sameAs 615016617 @default.
- W615016617 citedByCount "6" @default.
- W615016617 countsByYear W6150166172020 @default.
- W615016617 countsByYear W6150166172021 @default.
- W615016617 countsByYear W6150166172022 @default.
- W615016617 crossrefType "book-chapter" @default.
- W615016617 hasAuthorship W615016617A5021848628 @default.
- W615016617 hasAuthorship W615016617A5062612658 @default.
- W615016617 hasAuthorship W615016617A5091315577 @default.
- W615016617 hasConcept C121684516 @default.
- W615016617 hasConcept C199360897 @default.
- W615016617 hasConcept C2776190703 @default.
- W615016617 hasConcept C41008148 @default.
- W615016617 hasConcept C91071405 @default.
- W615016617 hasConceptScore W615016617C121684516 @default.
- W615016617 hasConceptScore W615016617C199360897 @default.
- W615016617 hasConceptScore W615016617C2776190703 @default.
- W615016617 hasConceptScore W615016617C41008148 @default.
- W615016617 hasConceptScore W615016617C91071405 @default.
- W615016617 hasLocation W6150166171 @default.
- W615016617 hasOpenAccess W615016617 @default.
- W615016617 hasPrimaryLocation W6150166171 @default.
- W615016617 hasRelatedWork W2015333075 @default.
- W615016617 hasRelatedWork W2099665351 @default.
- W615016617 hasRelatedWork W2139160597 @default.
- W615016617 hasRelatedWork W2158583479 @default.
- W615016617 hasRelatedWork W2168210015 @default.
- W615016617 hasRelatedWork W2354354754 @default.
- W615016617 hasRelatedWork W2390327539 @default.
- W615016617 hasRelatedWork W2766076007 @default.
- W615016617 hasRelatedWork W3160739406 @default.
- W615016617 hasRelatedWork W3199824772 @default.
- W615016617 isParatext "false" @default.
- W615016617 isRetracted "false" @default.
- W615016617 magId "615016617" @default.
- W615016617 workType "book-chapter" @default.