PD Dr. Karsten Sohr
2020. Lecture Notes in Computer Science(), vol 12523. Springer, Cham. M. Schuster, M. Germeier, F. Hilken, M. Gogolla, K.Sohr: Modeling Low-Level Network Configurations for Analysis, Simulation and Testing [...] process that replicates procedures for security code audits and hence simplifies these processes.) F. Hilken, M. Schuster, K. Sohr, M. Gogolla. Integrating UML/OCL Derived Properties into Validation and Ve