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

Detailseite

Person

Druckansicht

Dr. Harald Fecher

Adresse Christian-Albrechts-Universität zu Kiel
Technische Fakultät
Institut für Informatik
Christian-Albrechts-Platz 4
24118 Kiel

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Model checking of infinite-state, branching-time systems and specifications (Forschungsstipendien)
Als Mitantragsteller
- abgeschlossene Projekte
  - Extending Statecharts by Under- and Over-Approximation Mechanisms for Top-Down Development Support (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz