SPL

CaSSIS-Verif

CaSSIS-Verif - Towards Verified Flight Software for Future Mars Missions Duration: 2023 Funding: University of Bern Project partner: Prof.

FONDA

Foundations of Workflows for Large-Scale Scientific Data Analysis B3: Debugging Distributed Data Analysis Workflows Duration: 2020 - 2024 Funding: DFG Project partner: Prof.