Verifikation und Erhöhung der Verlässlichkeit

01.06.2021 - 31.01.2022
Stipendium

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Förderungmittel

  • IAESTE

Forschungsschwerpunkte

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

Externe Partner_innen

  • IAESTE

Publikationen