SApPHIRe – A Systematic Approach for Provably correct Hybrid systems that are Intelligent and Resilient

• Applicants: Professorin Dr.-Ing. Paula Herber; Professorin Dr. Anne Remke
• Subject Area: Software Engineering and Programming Languages ; Computer Architecture, Embedded and Massively Parallel Systems
• Term: since 2025
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 573591922

No abstract available

• DFG Programme: Research Grants