Verifikation und Erhöhung der Verlässlichkeit

01.06.2021 - 31.01.2022
Scholarship

People

Project leader

Project personnel

Institute

Förderungmittel

  • IAESTE

Research focus

  • Logic and Computation: 30%
  • Computer Engineering and Software-Intensive Systems: 70%

External partner

  • IAESTE

Publications