Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Universität Kassel
Fachbereich 16 - Elektrotechnik / Informatik
Forschungsgruppe Theoretische Informatik/Formale Methoden

Adresse Wilhelmshöher Allee 71-73
34121 Kassel
Deutschland

GERiT Diese Institution in GERiT

34121 Kassel

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Verifikation nicht-regulärer Eigenschaften
    (Antragsteller Lange, Martin )
Heisenberg-Professuren
- abgeschlossene Projekte
  - Von Spezifikation zu Synthese
    (Antragsteller Lange, Martin )

© 2024 DFG Kontakt / Impressum / Datenschutz