Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561609574> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1561609574 endingPage "597" @default.
- W1561609574 startingPage "592" @default.
- W1561609574 abstract "AbstractFormal methods in the industrial wild, outside the academic greenhouse, are still considered rather exotic, or even esoteric. Sometimes they are admired, more often smiled at, and most times simply ignored. There are some niches, though, where they display their abstract beauty. One of those places offering suitable environmental conditions is security. Which are the specific fertilizers there? Which particular sub-species have proven versatile and sturdy enough to survive in harsh industrial climate? Who recognizes the strong blessings of their hardly accessible blossoms? We share our grower’s experience with them in the security field.KeywordsFormal methodssecuritysoftware engineeringevaluationmodels" @default.
- W1561609574 created "2016-06-24" @default.
- W1561609574 creator A5050598471 @default.
- W1561609574 date "2006-01-01" @default.
- W1561609574 modified "2023-09-26" @default.
- W1561609574 title "Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche" @default.
- W1561609574 cites W1493078761 @default.
- W1561609574 cites W1498342204 @default.
- W1561609574 cites W1506992325 @default.
- W1561609574 cites W1581993637 @default.
- W1561609574 cites W1977764760 @default.
- W1561609574 cites W1983599193 @default.
- W1561609574 cites W2106192381 @default.
- W1561609574 cites W2166602595 @default.
- W1561609574 cites W2173070510 @default.
- W1561609574 doi "https://doi.org/10.1007/11813040_40" @default.
- W1561609574 hasPublicationYear "2006" @default.
- W1561609574 type Work @default.
- W1561609574 sameAs 1561609574 @default.
- W1561609574 citedByCount "1" @default.
- W1561609574 countsByYear W15616095742015 @default.
- W1561609574 crossrefType "book-chapter" @default.
- W1561609574 hasAuthorship W1561609574A5050598471 @default.
- W1561609574 hasConcept C102715595 @default.
- W1561609574 hasConcept C107038049 @default.
- W1561609574 hasConcept C127413603 @default.
- W1561609574 hasConcept C142362112 @default.
- W1561609574 hasConcept C144024400 @default.
- W1561609574 hasConcept C144027150 @default.
- W1561609574 hasConcept C153991713 @default.
- W1561609574 hasConcept C170154142 @default.
- W1561609574 hasConcept C185933670 @default.
- W1561609574 hasConcept C18903297 @default.
- W1561609574 hasConcept C202444582 @default.
- W1561609574 hasConcept C2776745293 @default.
- W1561609574 hasConcept C2780620123 @default.
- W1561609574 hasConcept C32198211 @default.
- W1561609574 hasConcept C33923547 @default.
- W1561609574 hasConcept C36289849 @default.
- W1561609574 hasConcept C38652104 @default.
- W1561609574 hasConcept C41008148 @default.
- W1561609574 hasConcept C86803240 @default.
- W1561609574 hasConcept C9652623 @default.
- W1561609574 hasConceptScore W1561609574C102715595 @default.
- W1561609574 hasConceptScore W1561609574C107038049 @default.
- W1561609574 hasConceptScore W1561609574C127413603 @default.
- W1561609574 hasConceptScore W1561609574C142362112 @default.
- W1561609574 hasConceptScore W1561609574C144024400 @default.
- W1561609574 hasConceptScore W1561609574C144027150 @default.
- W1561609574 hasConceptScore W1561609574C153991713 @default.
- W1561609574 hasConceptScore W1561609574C170154142 @default.
- W1561609574 hasConceptScore W1561609574C185933670 @default.
- W1561609574 hasConceptScore W1561609574C18903297 @default.
- W1561609574 hasConceptScore W1561609574C202444582 @default.
- W1561609574 hasConceptScore W1561609574C2776745293 @default.
- W1561609574 hasConceptScore W1561609574C2780620123 @default.
- W1561609574 hasConceptScore W1561609574C32198211 @default.
- W1561609574 hasConceptScore W1561609574C33923547 @default.
- W1561609574 hasConceptScore W1561609574C36289849 @default.
- W1561609574 hasConceptScore W1561609574C38652104 @default.
- W1561609574 hasConceptScore W1561609574C41008148 @default.
- W1561609574 hasConceptScore W1561609574C86803240 @default.
- W1561609574 hasConceptScore W1561609574C9652623 @default.
- W1561609574 hasLocation W15616095741 @default.
- W1561609574 hasOpenAccess W1561609574 @default.
- W1561609574 hasPrimaryLocation W15616095741 @default.
- W1561609574 hasRelatedWork W1996083730 @default.
- W1561609574 hasRelatedWork W2123506493 @default.
- W1561609574 hasRelatedWork W2168277540 @default.
- W1561609574 hasRelatedWork W2327167684 @default.
- W1561609574 hasRelatedWork W2774948409 @default.
- W1561609574 hasRelatedWork W2899151130 @default.
- W1561609574 hasRelatedWork W2914694010 @default.
- W1561609574 hasRelatedWork W3114103876 @default.
- W1561609574 hasRelatedWork W3160309010 @default.
- W1561609574 hasRelatedWork W4290405337 @default.
- W1561609574 isParatext "false" @default.
- W1561609574 isRetracted "false" @default.
- W1561609574 magId "1561609574" @default.
- W1561609574 workType "book-chapter" @default.