25 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 2
zu den Filteroptionen25 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
2
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024
Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020