Research Projects
FONDA - Foundations of Workflows for Large-Scale Scientific Data Analysis
|
![]() |
VariantSync - Automating the Synchronization of Software Variants
|
![]() |
CaSSIS-Verif - Towards Verified Flight Software for Future Mars Missions
|
![]() |