Finished
Research
- CaSSIS-Verif
| Research
A UniBE funded project on space software verification.
- FONDA
| Research
A DFG funded project on data analysis workflows.
- VariantSync I
| Research
A DFG funded project on software product lines.
A UniBE funded project on space software verification.
A DFG funded project on data analysis workflows.
A DFG funded project on software product lines.