Dominik FuchßKarlsruhe Institute of Technology0000-0001-6410-6769Software (3)Projects (1)Items121-1 of 1Physical Sciences and EngineeringCore InformaticsA Helmholtz Pilot ProgramComponent-Based Software EngineeringData ScienceFormal Methods+ 6Jan 2023 - Dec 202500