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)