5 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke 1
zu den Filteroptionen5 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke
1
Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019
Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARPaderborn, 2024Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019