Tabea Bordis -

Not registered as user

Name:Tabea Bordis

Affiliation:Karlsruhe Institute of Technology

Contributions

2025

SPLASH

Author of X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering within the Onward! Papers-track