VeriKI: Verifikation von KI-Methoden in dezentralen Strukturen für New-Space Anwendungen. Teilvorhaben: Entwicklung Verifikationskonzept und Proof-of-Concept (EVPoC) - Gerlich, Ralf (Verfasser); BSSE System and Software Engineering (Herausgebendes Organ) (Gerlich System and Software Engineering, 2023)