Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019