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

Detailseite

Person

Druckansicht

Professor Dr.-Ing. Daniel Große

Adresse Johannes Kepler Universität Linz
Institut für Complex Systems
Altenberger Straße 69
4040 Linz
Österreich

ORCID-ID 0000-0002-1490-6175

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise (Sachbeihilfen)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Formalisierung und Eigenschaften von Plänen (Sonderforschungsbereiche)

© 2024 DFG Kontakt / Impressum / Datenschutz