Professor Dr. Friedrich W. von Henke

Adresse Universität Ulm
Fakultät Ingenieurwissenschaften, Informatik und Psychologie
Institut für Künstliche Intelligenz
James-Franck-Ring
89081 Ulm

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken (Sachbeihilfen)
  - Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr (Schwerpunktprogramme)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Systemunterstützte Modellierung und Repräsentation von Wissen (Sonderforschungsbereiche)