Dominik FuchßKarlsruhe Institute of Technology0000-0001-6410-6769Software (3)Projects (1)Items121-1 of 1Physical Sciences and EngineeringCore InformaticsThe future Helmholtz Topic "Core Informatics for Multidomain Impact" in the Research Field "Information". Component-Based Software EngineeringData ScienceFormal Methods+ 6Jan 2023 - Dec 2030001