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