Formal 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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Von Oheimb, D. (2006). Formal methods in the security business: Exotic flowers thriving in an expanding niche. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4085 LNCS, pp. 592–597). Springer Verlag. https://doi.org/10.1007/11813040_40
Mendeley helps you to discover research relevant for your work.